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.
Jul 10. 2021
Our paper "Synthesizing Pareto-optimal Interpretations for Black-Box Models" has been accepted for presentation at FMCAD 2021. This is joint work with Shetal Shah, Supratik Chakraborty, S. Akshay, and Sanjit Seshia.
Jul 1. 2021
With Daniel Fremont, I am organizing the Workshop on Hyperproperties: Advanceses in Theorey and Practice (HYPER 2021) which will take place at ATVA 2021.
Apr 20. 2021
Our paper "Runtime Monitors for Markov Decision Processes" has been accepted for presentation at CAV 2021. This is joint work with Sebastian Junges and Sanjit Seshia.
Mar 8. 2021
I gave a talk on "Synthesizing Approximate Implementations for Reactive Systems" at the Workshop on Synthesis of Models and Systems at the Simons Institute Berkeley.
Mar 4. 2021
I am member of the program committee for the Conference on Runtime Verification 2021
Jul 31. 2020
Our paper "SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System" has been accepted for presentation at RV 2020. This is joint work with Sumukh Shivakumar, Ankush Desai, and Sanjit Seshia.
for more news click here