Program Analysis, Synthesis and Verification
I am a 4th 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).
486 Engineering VI, UCLA, Los Angeles, CA 90095