I am a final year PhD candidate in the Programming Systems group at University of California, San Diego where I work with my incredible advisor, Nadia Polikarpova. My research interests lie at the intersection of formal methods and artificial intelligence. I have interned at Microsoft Research in the PROSE, RiSE and Calc Intelligence teams where I worked with Ben Zorn and Andy Gordon to automate end-user programming in spreadsheets. I also interned at Google X in the Pitchfork team working on generative AI for code. Before PhD, I got my Masters in Computer Science from UCSD and Bachelors in Electronics and Instrumentation from BITS Pilani, India where I worked on fence synthesis for weak memory models with Ashutosh Gupta.
I am on the job market for research-focused academic and industry positions this year (2023-24)! Check out my detailed CV here.

💡Research Agenda

Automated theory induction and automatic code generation are both long-standing and related challenges in artificial intelligence. Theory induction tackles the question: given some observations about a phenomenon in the world, what is the underlying model that generates or explains the observations? Code generation tackles the question: given a user specification that describes the expected output, what is the most likely program that satisfies the specification? In order to tackle these questions, my research aims to develop tools and techniques that

  1. automate scientific discovery by learning causal theories of the world
  2. assist developers in writing code
Research Areas: Programming Languages, Artificial Intelligence, Human Computer Interaction.

📃 Publications

*equal contribution. A complete list including preprints and reports is available on my Google Scholar.

💻 Software

🎙️ Talks

👩‍🏫 Teaching

💫 Service

✨ Outreach