Avatar from GitHub

Research Interests

Program Analysis, Synthesis and Verification

Contact

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

About Me

I am a 3rd 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.

Recent Updates   · · · ·   ( Archive )

Nov17~Feb18
(Remote) RSDE @ Microsoft Research

Jul17
SyGuS-COMP'17 (INV) Winner

Jul17
(Philadelphia, PA)

Jun~Sep17
Internship @ Microsoft Research
(Redmond, WA)

May17
Oral Qualifying Examination

Feb17