Welcome!

I am a Postdoctoral Researcher in the Automated Verification group at University of Oxford, working with Prof. Marta Kwiatkowska. Previously, I was a doctoral researcher at the Max Planck Institute for Software Systems, advised by Prof. Daniel Neider. Broadly, I am interested in the analysis and verification of systems used in Artificial Intelligence and Machine Learning.

Earlier, I was a student at Chennai Mathematical Institute (CMI) from where I obtained both my bachelor’s and master’s degree.