I’m a first-year PhD student at UC San Diego advised by Nadia Polikarpova. I am a member of the Programming Systems group. I graduated from BITS Pilani, Goa with an Electronics Bachelor’s degree in Fall 2017. Following my graduation, I worked as a research assistant in the Software Technology Group at TU Kaiserslautern.
Previously, I participated in the December 2015 - March 2016 round of Outreachy working on Staging driver cleanup with Linux Foundation. My detailed resume can be found here

Research Interests

I am interested in programming languages and formal methods research, with an emphasis on automated program synthesis and verification techniques. My goal is to develop synthesis tools and apply the techniques to various domains such as Human-computer interaction and Linguistics.

Diversity Activities

I am currently serving as one of the Outreachy coordinators for Linux kernel! I also served on the review committee for the open source track of GHC 2017 and GHC 2018.