Program Analysis, Synthesis and Verification
486 Engineering VI, UCLA, Los Angeles, CA 90095
I am a 4th year PhD student in the CS Department at UCLA, advised by Prof. Todd Millstein. I graduated from IIT Bombay in 2014 with BTech (Honors) in CSE. My research is primarily focused on providing practical solutions for helping developers build reliable software with verified guarantees.
Previously, I have interned at Microsoft Research — once with Sumit Gulwani (in the PROSE Group), and the second time with Ben Zorn and Rishabh Singh (in the RiSE Group). 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.