Hazem Torfah

Computing Science Division
Chalmers University of Technology
EDIT building | Floor 6V Office 6476
412 96 Gothenburg, Sweden
hazemto at chalmers.se

I am a tenure-track Assistant Professor at the Computer Science and Engineering Department at Chalmers University of Technology. I lead the lab for Safe and Trustworthy Autonomous Reasoning. Previously, I was a postdoctoral researcher in the EECS Department at UC Berkeley, USA. I obtained my Ph.D. in 2019 from Saarland University, Germany. My research interests are the formal specification, verification, and synthesis of cyber-physical systems. I especially lay the focus on the investigation of quantitative approaches for verifying and explaining the behavior of cyber-physical systems. My research is funded by the Wallenberg AI, Autonomous Systems, and Software Program.

For my full CV click here