Home Publications Teaching Service Thesis Contact

About me

I am thrilled to announce that I will be joining the Computer Science and Engineering Department at Chalmers as an Assistant Professor starting August 2023.

Currently, I am a postdoctoral researcher in the EECS Department at UC Berkeley working with Prof. Sanjit A. Seshia. I obtained my doctoral degree (Dr. rer. nat.) in Computer Science from Saarland University in Saarbrücken, Germany, under the supervision of Prof. Bernd Finkbeiner.

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 learning-enabled cyber-physical systems.

Latest News

Feb 28. 2023

Thrilled to announce that I will be joining the Computer Science and Engineering Department at Chalmers as an Assistant Professor starting August 2023. Looking forward to being a member of the FM Unit and to working with the Chalmers, Gothenburg, and WASP teams!

Feb 17, 2023

Our paper "ULGEN: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems"  has been accepted for publication at IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. This is joint work with Beyazit Yalcinkaya, Ankush Desai and Sanjit Seshia.

Jan 28, 2023

I am member of the program committee for the Conference on Runtime Verification 2023

Oct 27, 2022

Check out our paper on "Learning Monitorable Operational Design Domains for Assured Autonomy"   published at ATVA 2022. This paper is joint work with Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte and Sanjit Seshia.

Aug 9, 2022

I am member of the program committee for the AAAI Conference 2023

Jul 26, 2022

I gave a talk on "Synthesizing Pareto-Optimal Interpretations for Black-Box Models"  at the Workshop on Verified Software at the Isaac Newton Institute Cambridge.

for more news click here