Welcome!

I am currently a Postdoctoral Researcher in the Trustworthy Autonomous Cyber Physical Systems group at the University of Liverpool, working with Prof. Xiaowei Huang. Earlier, I was a Postdoctoral Researcher in the Automated Verification group at the University of Oxford, working with Prof. Marta Kwiatkowska. I did my doctoral research at the Max Planck Institute for Software Systems, advised by Prof. Daniel Neider. Broadly, I am interested in the formal specification 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.