Nikhil Balaji

366A, Wolfson Building, Parks Road, Oxford OX1 3QD

I am a Research Associate at the Department of Computer Science and a lecturer at Trinity College at the University of Oxford. Previously I held Postdoctoral positions at Ulm university hosted by Thomas Thierauf and the Indian Institute of Technology, Bombay hosted by Nutan Limaye. I completed my Ph.D in Computer Science at the Chennai Mathematical Institute. My advisor was Samir Datta.

I am interested in Automata theory, Quantitative Verification, Complexity Theory, Linear dynamical systems and Numerical algorithms.