Research Interests

Program Synthesis and Verification, Statistical Learning

About Me

I am a PhD candidate in the Computer Science dept. at UCLA, advised by Prof. Todd Millstein. Before joining UCLA, I graduated from IIT Bombay in 2014 with B.Tech. (Honors) in CSE. My research is primarily focused on techniques that help programmers write reliable software. I am currently supported by a 2017 – 2019 Microsoft Research PhD fellowship.

During my graduate studies, I have had the opportunity to work on a number exciting projects with several groups within Microsoft Research — once with Sumit Gulwani (PROSE Group), the second time with Ben Zorn (RiSE Group), Rishabh Singh (now at Google Brain) & Alex Polozov (MSR AI), and the third time with Rahul Sharma (Systems Group at MSR India).

While at IIT Bombay, I was working with Prof. Amitabha Sanyal and Prof. Uday Khedker in the compilers group, and was an intern with Prof. Wolf-Tilo Balke at IFIS, TU-Braunschweig.