Program Analysis, Synthesis and Verification
3440 Boelter Hall, UCLA, Los Angeles, CA 90095
I am a 2nd year PhD student in the CS Department at UCLA,
advised by Professor Todd Millstein.
I graduated from IIT Bombay in 2014 with BTech (Honors) in CSE,
where I was advised by Professor Amitabha Sanyal and Professor Uday Khedker.