About me

I am an (incoming) Assistant Professor of Computer Science at the School of Computing and Information Systems at Singapore Management University. I will join SMU in January 2024.

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.

Research Interests

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:


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.