Program Synthesis and Verification, Statistical Learning
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).
486 Engineering VI, U C Los Angeles, CA 90095