About me

I am an Assistant Professor of Computer Science at the School of Computing and Information Systems at Singapore Management University. I joined 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ý. For my work on developing a framework for learning and verifying neural controllers in stochastic dynamical systems, I received the 2023 Outstanding Scientific Achievement award at ISTA together with my colleague Mathias Lechner. Before that, I obtained bachelor’s and master’s degrees in mathematics at the University of Cambridge. You can find my CV here.

Research Interests

My research is concerned with the development of formal verification, synthesis and certified learning techniques towards making software and intelligent systems more safe, robust and trustworthy. To do so, I combine ideas and tackle a range of problems from Formal Methods, Artificial Intelligence, Machine Learning and Programming Languages research.

The central theme of my work are formal verification, synthesis and certified learning techniques for software and intelligent 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 methods that take uncertainty into account and allow us to build safe, robust and trustworthy software and intelligent systems even in the presence of uncertainty. My current research interests include:


I have multiple openings for motivated PhD students to work with me on topics related to formal methods, trustworthy AI or program analysis. I also have openings for undergraduate students at SMU, as well as visiting undergraduate, master and PhD students from other institutions. 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 thriving academic landscape. It is also a perfect place for fellow food lovers. SMU is a premier university and provides an excellent research environment with strong groups in formal methods, AI and software engineering. Doctoral positions at SMU are fully funded. See this page for details.