Research Interests

Program Analysis, Synthesis and Verification

About Me

I am a 4^th year PhD student in the Computer Science at UCLA, advised by Prof. Todd Millstein. I graduated from IIT Bombay in 2014 with B.Tech. (Honors) in CSE. My research is primarily focused on providing practical solutions for helping developers build reliable software with verified guarantees. I am currently supported by a 2017 – 2019 Microsoft Research PhD Fellowship.

During my graduate studies, I have had the opportunity to work on several exciting projects at Microsoft Research — once with Sumit Gulwani (PROSE Group), the second time with Ben Zorn (RiSE Group), 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.