About

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 are a graduate student at CU with a strong motivation to do research, please drop me an email; I’ll reply as quickly as I can. If you are a prospective student, I strongly encourage you to apply to CU! We have a great PLV group, and one of the best campuses among US universities.


News

Jul 27, 2020 New course announcement: 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.