Me
I am 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. I have submitted my PhD thesis, which can be found here.
Education
- B.Sc(Hons.) in Mathematics and Computer Science: Chennai Mathematical Institute: August 2018 - July 2021
- PhD in Computer Science: University of Warwick, October 2021- ongoing
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