CV

Download CV (PDF) Last updated: September 2026

Awards and Honours

• Best Paper Award at the International Conference on Concurrency Theory (CONCUR), 2026.
• Distinguished Paper Award at Logic in Computer Science (LICS), 2025.
• Doctorate awarded summa cum laude from the Technical University of Munich.
• CMI Gold Medal of Excellence as the student with the best academic record for my Masters degree.
• INSPIRE scholarship from the Department of Science and Technology, Goverment of India for my Bachelors degree.

Invited Talks

• Approximations for Analyzing Infinite-State Systems at ISTA, Vienna - June 30, 2026.
• Complexity Hierarchies beyond Ackermann at the University of Groningen - November 21, 2025.
• Reachability in Continuous Pushdown VASS at the MTV LaBRI Seminar, Bordeaux - March 28, 2024.
• Complexity of Coverability in Depth-Bounded Processes at the OFCOURSE student talk series, MPI-SWS, Kaiserslautern - September 8, 2022.
• Complexity of Verification and Synthesis of Threshold Automata at the 7th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA) 2020 - September 5, 2020.