I am a fourth year PhD student at IST Austria where I am supervised by Krishnendu Chatterjee and Petr Novotný. Prior to IST, I obtained my undergraduate and master degrees in mathematics at the University of Cambridge, where I was a student at the lovely Gonville & Caius College.

Since August 2022, I have joined Amazon as a (returning) Applied Scientist Intern with the Prime Video Automated Reasoning team in London. Looking forward to another great experience here!

Research Interests

My research focuses on developing algorithms for formally verifying correctness of software. In particular, I combine ideas from Formal Verification, Programming Languages and Machine Learning research in order to design mathematically rigorous yet fully automated and scalable methods for providing formal guarantees about programs, systems with learned components as well as for safe learning. More concretely, my research interests include:

• Verification
• Static Program Analysis
• Neural Network Verification
• Safe Reinforcement Learning
• Probabilistic Programming
• Game Theory

Research Highlights

I am especially interested in formal verification and certified control of stochastic systems in which stochasticity is used to model and quantify uncertainty. I have worked on static analysis of probabilistic programs (CAV 2022, FM 2021, POPL 2017) and formal verification and safe policy learning for stochastic feedback loop systems (SRML@ICLR 2022, AAAI 2022, NeurIPS 2021). However, my research is not restricted to stochastic systems and I have also worked on static analysis for non-probabilistic programs and properties such as termination or resource usage (PLDI 2022, PLDI 2021), as well as on verification of quantized neural networks (AAAI 2021).

I also study bidding games on graphs. These are a class of games that model ongoing and stateful auctions, in which players have budgets and bid for the right to move. In our work, we studied such games with several classical bidding mechanisms (SODA 2021, MFCS 2019).

News

• September 2022. Our work Algorithms and Hardness Results for Computing Cores of Markov Chains has ben accepted at FSTTCS 2022. Thanks to my collaborators Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer and Roodabeh Safavi.

• September 2022. Our work Social Balance on Networks: Local Minima and Best-edge Dynamics has been accepted at Physical Review E. Thanks to my collaborators Krishnendu Chatterjee, Jakub Svoboda, Andreas Pavlogiannis and Josef Tkadlec.

• August 2022. Program committee member for AAAI 2023.

• August 2022. Attended FLoC 2022 and presented our paper Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs at CAV 2022 in Haifa, Israel. Thanks to my collaborators Krishnendu Chatterjee, Amir Kafshdar Goharshady and Tobias Meggendorfer.

• June 2022. Very excited to share that our PLDI 2022 paper Differential Cost Analysis with Simultaneous Potentials and Anti-potentials was featured in an Amazon Science blog post!

• June 2022. Presented our paper Differential Cost Analysis with Simultaneous Potentials and Anti-potentials at PLDI 2022 in San Diego, US. The paper resulted from my internship project at Amazon in 2020. Thanks to my collaborators Bor-Yuh Evan Chang, Pauline Bolignano and Franco Raimondi.

• April 2022. Presented our workshop paper Learning Stabilizing Policies in Stochastic Control Systems at SRML@ICLR 2022. Thanks to my collaborators Mathias Lechner, Krishnendu Chatterjee and Thomas A. Henzinger.

• February 2022. I am happy to be shortlisted as a finalist for the Meta PhD Research Fellowship in the programming languages category! See the announcement here.