Avatar from GitHub

Research Interests

Program Analysis, Synthesis and Verification


3440 Boelter Hall, UCLA, Los Angeles, CA 90095
lastname cs.ucla.edu


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.