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.
Jan 7. 2022
I am member of the program committee for the Conference on Runtime Verification 2022
Nov 10. 2021
Check out our tutorial on "Formal Analysis of AI-based Autonomy" at RV 2021. This is joint work with Sebastian Junges, Daniel Fremont, and Sanjit Seshia.
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.
Jun 24. 2020
Our paper "Probabilistic Hyperproperties for Markov Decision Processes" has been accepted for presentation at ATVA 2020. This is joint work with Rayna Dimitrova from the University of Sheffield and Bernd Finkbeiner from Saarland University.
Jun 24. 2020
Our paper "Explainable Reactive Synthesis" has been accepted for presentation at ATVA 2020. This is joint work with Tom Baumeister and Bernd Finkbeiner from Saarland University.
Jan 2. 2020
I joined the group of Prof. Sanjit A. Seshia at UC Berkeley.