About me
I am now a post-doctoral researcher at Institute of Science and Technology Austria (ISTA) in the group headed by Thomas A. Henzinger.
Research Interests
My research interests broadly are:- Logic, Automata, Games
- Reactive synthesis, and
- Verification.
Education
I got my B.Sc(Hons.) in Mathematics and Computer Science and M.Sc in Computer Science from Chennai Mathematical Institue (CMI).I was a PhD student at the University of Warwick supervised by Marcin Jurdzinski.
Publications
My DBLP page. My master's thesis can be found here and my PhD thesis can be found here here.
Teaching
- I am now teaching a course on complexity theory at ISTA
- I have been a teaching assistant for CS409 - Algorithmic Game Theory, CS259 - Formal Languages and CS260 - Algorithms at Warwick.
- In CMI, I was a part of the teaching team for Games on Graphs, Data Mining and Machine Learning, Advanced Algorithms, Theory of Computation, and Introduction to programming: Haskell.
- I was a teaching assistant for Design and Analysis of Algorithms at NPTEL MOOC.