About me

Hi! I am a post-doctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS), working with Rupak Majumdar. I received my Ph.D. summa cum laude from the Technical University of Munich in 2024, supervised by Javier Esparza. From October 2024 to March 2025 I held a Vertretungsprofessur (interim professorship) at the Technical University of Munich.

My research concerns the algorithmic analysis of infinite-state systems and its applications to formal verification. I approach such analysis problems through a mixture of

• Developing faster algorithms and techniques for upper bounds
• Proving matching lower bounds
• Coming up with tractable approximations when exact analysis becomes infeasible

More recently, I am also working on applying these techniques to domains such as substructural logics, functional synthesis and planning in symbolic AI.