Hazem Torfah
Scholar

Hazem Torfah

Google Scholar ID: x6-iP_IAAAAJ
Assistant Professor, CSE, Chalmers University of Technology
Formal MethodsRuntime VerificationCyber-Physical SystemsExplainability
Citations & Impact
All-time
Citations
538
 
H-index
12
 
i10-index
14
 
Publications
20
 
Co-authors
32
list available
Resume (English only)
Academic Achievements
  • Published paper 'Metric-Guided Synthesis of Class Activation Mapping' (SyCAM); co-authored 'Querying Labeled Time Series Data with Scenario Programs' (to appear at NFM 2025); supervised master's theses, such as 'Machine Learning-Based Data Association Techniques for Multi-Object Tracking in Automotive Radar Systems'.
Research Experience
  • Tenure-track Assistant Professor at the Computer Science and Engineering Department at Chalmers University of Technology; leads the lab for Safe and Trustworthy Autonomous Reasoning; has taught or guest lectured in multiple courses.
Education
  • Ph.D. in 2019 from Saarland University, Germany; previously a postdoctoral researcher in the EECS Department at UC Berkeley, USA.
Background
  • Research interests: formal specification, verification, and synthesis of cyber-physical systems; particularly focusing on quantitative approaches for verifying and explaining the behavior of cyber-physical systems. Currently a tenure-track Assistant Professor at the Computer Science and Engineering Department at Chalmers University of Technology, leading the lab for Safe and Trustworthy Autonomous Reasoning.