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 thesis work is primarily focused on techniques to help programmers develop reliable software with formally verified guarantees. My research is 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).
Office: 486 Engineering VI, U C Los Angeles, CA 90095
Email: *lastname* cs.ucla.edu