I am an Assistant Professor in the Software Engineering Research Centre (SERC) at IIIT Hyderabad, focusing broadly on Formal Methods, Programming Languages, Software Engineering, and Trustworthy AI. I earned my PhD in Computer Science from TIFR Mumbai, working under the esteemed supervision of Prof. Raja Natarajan in the area of Interactive Theorem Proving and Formalized Maths.

I spent two years as a postdoctoral researcher at the Tel Aviv University in Israel woking with Prof. Ori Lahav in the area of semantics of Shared Memory Concurrency and Weak Memory Models. Following that, I took on the role of Senior Research Fellow in the Programing Language and Software Engineering (PLSE) Lab of School of Computing at the National University of Singapore, hosted by Prof. Abhik Roychoudhury.

Mathematical Logic, Formal Methods, Programming Language Semantics, Shared Memory Concurrency, Software Engineering, Program Synthesis, Automated Programming, and Trustworthy AI.