Prior to joining SMU, I obtained my PhD in computer science in 2023 at the Institute of Science and Technology Austria (ISTA), where I was fortunate to be supervised by Krishnendu Chatterjee and Petr Novotný. Before that, I obtained undergraduate and master degrees in mathematics at the University of Cambridge. You can find my CV here.
My research is concerned with developing formal verification and synthesis techniques towards making software and AI systems more secure, robust and trustworthy. To do so, I combine ideas and tackle a range of problems from Formal Methods, Programming Languages, Artificial Intelligence and Machine Learning research.
The central theme of my work has been the development of formal methods and automated reasoning techniques for software and AI systems in the presence of uncertainty. Uncertainty may arise due to a plethora of reasons, including interaction with unknown environments, inference from data, randomization, interleaving of processes or multi-agent systems. My goal is to design automated formal reasoning methods that take uncertainty into account and thus allow us to build safe, robust and reliable software and AI systems. My current research interests include:
- Neurosymbolic control and safe reinforcement learning (NeurIPS23, ATVA23, AAAI23, AAAI22, NeurIPS21)
- Program analysis of probabilistic (CAV22, FM21, POPL17) and non-deterministic (PLDI22, PLDI21) programs
- Formal verification and control of Markov models (CAV23, FSTTCS22)
- Formal verification and certified learning of neural networks (AAAI23, AAAI21)
- Bidding games on graphs (ECAI23, AAAI23, SODA21, MFCS19)
I have multiple openings for PhD students to work with me on topics related to formal methods, trustworthy AI or program analysis. Please drop me an email with your CV if you are interested. Applicants with a degree in computer science, mathematics or related fields are all welcome.
Singapore is a vibrant and cosmopolitan place with a large expat population and a thriving academic landscape. It is also a perfect place for fellow food lovers. SMU provides an excellent environment for pursuing research in formal methods, AI and/or software engineering. Doctoral positions at SMU are fully funded. See this page for details.
October 2023. I will attend ATVA 2023 in Singapore for the whole duration of the conference, and will present our work Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.
September 2023. Our work Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees has been accepted at NeurIPS 2023. Thanks and congrats to my coauthors!
July 2023. Visited École Normale Supérieure in Paris and talked about A Learner-verifier Framework for Learning and Certifying Neural Controllers in Stochastic Systems.
- July 2023. I will attend CAV 2023 in Paris for the whole duration of the conference, and will present the following:
- Our work MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives at CAV.
- Keynote talk From Probabilistic Program Analysis to Learning-based Stochastic Control with Martingales at the VeriProP workshop.
I will also be at Highlights 2023. Reach out if you will be around and would like to connect!
July 2023. Our work Reachability Poorman Discrete-Bidding Games has been accepted at ECAI 2023. Thanks and congrats to my coauthors!
July 2023. PC member for AAAI 2024.
June 2023. Talked about A Learner-verifier Framework for Learning and Certifying Neural Controllers in Stochastic Systems at Nissan Research (virtual).
- June 2023. Visited TU Delft and talked about Formal Verification and Learning-based Control of Infinite-state Stochastic Systems.