I am an Assistant Professor of Computer Science at the University of Colorado (CU), Boulder. My background is in Programming Languages and Formal Methods. My research is driven by the curiousity to apply PL and FM way of thinking to solve hard problems in other domains of Computer Science, such as Distributed Systems, Databases, and Artificial Intelligence. In my current research, I am exploring how provably-correct and scalable distributed applications can be built with least amount of programming effort. The research has practical implications to the up and coming area of decentralized trustless computing.

Prior to joining CU, I was a Post-Doc and a Ph.D student at Purdue University, where I was advised by Prof. Suresh Jagannathan. As a grad student, I was a Google PhD Fellow in the area of Programming Technology and Software Engineering. I earned my Masters in CS from Purdue, and Bachelors in CS from BITS Pilani, India.

I am actively recruiting Ph.D students. If you considering a PhD in Programming Languages and Verification, you should definitely apply to CU! We have a great PLV group with diverse research interests, and a beautiful campus in the midst of the best city to live in the US!


Oct 27, 2020 New course announcement (Spring 2021): CSCI7000 - Distributed Systems Verification.
Jun 10, 2020 Joining CU Boulder as an Assistant Professor this Fall!
Nov 25, 2019 MRDT Paper (OOPSLA’19) covered on the Morning Paper blog in two parts.
Oct 25, 2019 OOPSLA’19 talk on Mergeable Replicated Data Types now online.