Me

I am currently in LIS at Aix-Marseille Université, where I am a postdoctoral researcher under Karoliina Lehtinen. Previously, I was a PhD student at the University of Warwick, under the supervision of Marcin Jurdziński. I am broadly interested in everything automata and games, particularly those that involve parity conditions or counters.

Conference Publications

Resolving Nondeterminism with Randomness, with Tom A. Henzinger and K. S. Thejaswini, under submission
The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently, with Karoliina Lehtinen, STOC 2025
On the Minimisation of (History-)Deterministic Generalised (Co)Büchi Automata, with Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, CSL 2025
History-Determinism v/s Fair Simulation, with Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, CONCUR 2024
Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata, with Rohan Acharya and Marcin Jurdziński, ICALP 2024
Checking History-Determinism is NP-hard for Parity Automata, FoSSaCS 2024
On History-Deterministic One-Counter Nets, with K. S. Thejaswini, FoSSaCS 2023

Teaching

I was a Teaching Assistant in Functional Programming (CS141), Algorithmic Graph Theory (CS254), Formal Languages (CS259) and Algorithms(CS260), at the University of Warwick.

I was a Teaching Assistant at Chennai Mathematical Institute for the following courses: Discrete Mathematics, Algebra III, Theory of Computation.

I was a lecturer and a resource person at Indian Maths Olympiad Training Camp (IMOTC) in the years 2019,2020 and 2021.

My PhD thesis

History Deterministic Parity Automata: Games, Complexity, and the 2-Token Theorem.