I am a Research Associate in the Automated Verification group at University of Oxford, working with Prof. Marta Kwiatkowska. Previously, I was a doctoral student (yet to defend) 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.