Nikhil Balaji

Nikhil Balaji

Research Associate

Leaving date: 6th January 2021

Themes:

• Automated Verification

See Also:

• Personal homepage

Interests

Complexity theory,  Finite automata, Linear dynamical systems, Numerical Analysis.

Biography

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!