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).

My research interests include parameterized verification, automata theory, counter models and well-quasi orders. You can find more about my research on dblp or you can check out my CV for more information aboue me.