معرفی
Hazem Torfah is a tenure-track Assistant Professor at the Computer Science and Engineering Department at Chalmers University of Technology, where he leads the Safe and Trustworthy Autonomous Reasoning lab (STARlab). Previously, he was a postdoctoral researcher in the EECS Department at UC Berkeley, USA, and obtained his Ph.D. in 2019 from Saarland University, Germany. His research focuses on developing theoretical foundations and techniques for constructing safe and reliable autonomous cyber-physical systems.
Hazem earned his Ph.D. from Saarland University in 2019, followed by postdoctoral research at UC Berkeley. His educational background has positioned him at the forefront of formal methods research for autonomous systems.
His research interests center on the formal specification, verification, and synthesis of cyber-physical systems, with a particular focus on quantitative approaches for verifying and explaining system behavior. He investigates methods to ensure safety and reliability in autonomous systems through runtime monitoring, specification mining, and assurance frameworks. His work bridges theoretical computer science with practical applications in autonomous driving and robotics.
An analysis of his recent publications reveals a strong focus on runtime monitoring techniques for operational design domains, specification mining for predictive safety, and frameworks for runtime assurance of cyber-physical systems. His work frequently combines formal methods with machine learning to address safety challenges in autonomous systems, with applications primarily in autonomous driving.
Hazem's research is funded by the Wallenberg AI, Autonomous Systems, and Software Program, reflecting the significance and potential impact of his work in the field of assured autonomy.
He has supervised several Master's students, including Samuel Collier Ryder and Johannes Holmgren (2025), and Lucas Karlsson and George Kayembe (2024). His teaching includes courses on Formal Methods for Security, Oracle-Guided Inductive Synthesis, and Data Structures and Algorithms.
As the leader of STARlab, Hazem directs research on safe and trustworthy autonomous reasoning, focusing on developing methods to ensure the reliability and explainability of autonomous cyber-physical systems through formal verification techniques.
