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
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.
- August 2018 - I joined the Programming Systems group as a PhD student!