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.