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 language design techniques and formal methods to solve hard problems in computer science. I frequently work at intersection of PL and Distributed Systems, Databases, Security, and Artificial Intelligence. I am an alumnus of Purdue University, West Lafayette, and BITS Pilani, India.

I am part of the CUPLV research group and we are almost always on the lookout for motivated students.

Research Interests




Dec 10, 2022 Serving on PLDI 23 PC
May 10, 2022 Serving on OOPSLA 2022 PC
Mar 3, 2022 “Runtime-Assisted Convergence in Replicated Data Types” is conditionally accepted at PLDI’22!
Feb 22, 2022 “Bolt-On Convergence in Mergeable Replicated Data Types” is accepted at PaPoC’22!