About me:
I am a PhD student at the University of Warwick supervised by Marcin Jurdzinski.
I have now submitted my thesis and am a pre-doctoral visiting researcher at IST Austria in the group headed by Thomas A. Henzinger.
Research Interests
For my PhD thesis, I was working on parity games. But my research interests broadly are:- Logic, Automata, Games
- Verification
Education
I got my B.Sc(Hons.) in Mathematics and Computer Science and M.Sc in Computer Science from Chennai Mathematical Institue (CMI).
Publications
My DBLP page. My master's thesis can be found here.
Teaching
- 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.