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. at the Technical University of Munich under Prof. Javier Esparza (2019 - 2024). I also worked briefly as a Vertretungsprofessur (Interim professor) at the Technical University of Munich from October 2024 till March 2025.

My research interests include the algorithmic analysis of infinite-state systems and its applications to formal verification and parameterized systems. My work is focused on understanding the precise complexity of analyzing different classes of infinite-state systems. When the complexity of such analysis is too high, I am also interested in developing tractable over-approximations to circumvent the intractability of exact analysis.

You can find more about my research on dblp or Google Scholar.