Registered user since Thu 28 Nov 2019
I am an Assistant Professor in the Software Engineering Research Centre (SERC) at IIIT Hyderabad. I primarily work in areas of Formal Methods, Programming Languages, Software Engineering, and Trustworthy AI. My current research efforts are aimed at establishing a formal foundation for Trustworthy Autonomy in Software Development.
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 incredible years as a postdoctoral researcher at the Tel Aviv University in Israel woking with Prof. Ori Lahav in the space of Shared Memory Concurrency and Weak Memory Models. Following that, I was a Senior Research Fellow in the Programing Language and Software Engineering (PLSE @ SoC) at NUS.
Contributions