Complexity theory, Finite automata, Linear dynamical systems, Numerical Analysis.
I am currently a Research Associate under the supervision of Prof. James Worrell. I have held postdoctoral positions in Ulm university and IIT Bombay before coming to Oxford. I obtained my Ph.D from Chennai Mathematical Institute, advised by Prof. Samir Datta in 2016.
I organize the Oxford Verification seminar. Contact me if you want to give a talk!