CV

Download CV (PDF) Last updated: October 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.

The Complexity of Nested Reset Counter Systems at the M2F Seminar, LaBRI, Bordeaux - October 13, 2026.
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.