Thejaswini is doing her PhD under the supervision of Marcin Jurdzinski at University of Warwick. She completed her Masters and Undergraduate studies at Chennai Mathematical Institute.
Broadly, her research interests are Games, Logic, Automata Theory, and Verification. She is currently trying to understand the computational complexity of solving parity games.
- Theoretical Foundations of Computer Systems, Spring 2021. Visiting Graduate Student.