Avatar from GitHub

Research Interests

Program Analysis, Synthesis and Verification

Contact

3440 Boelter Hall, UCLA, Los Angeles, CA 90095
last_name cs.ucla.edu
saswat[dot]padhi

About

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 working with Professor Amitabha Sanyal and Professor Uday Khedker.