Hello, Since September 2016, I'm a Doctoral candidate advised by Prof. Jan Křetínský in the Chair for Foundations of Software Reliability and Theoretical Computer Science at the Technical University of Munich. My current work revolves around formal methods and verification and lately, its interactions with machine learning. Previously, I was a master's student at Chennai Mathematical Institute, where I worked under Prof. B. Srivathsan on Probabilistic Timed Automata. Prior to this, I earned a bachelor's degree in Computer Science and Engineering from National Institute of Technology, Calicut. After a brief stint as a developer at Commvault Systems, Hyderabad, I found my way back to academia. I am excited by algorithms and like building tools with strong theoretical frameworks. More on my academic and professional pursuits is detailed in my curriculum vitae.

I am fascinated by the idea of scientific method and want to apply it in places it hasn't been previously applied. Previously, I have been involved in conceptualizing, designing and development of websites, creation of posters, and writing dinky programs. I find immense happiness in rediscovering and reinventing already existing stuff.