Avatar from GitHub

Contact Me

Office:   BOS17 - Amazon, Boston, MA
Email:   saspadhi amazon.com
Skype:   saswat[dt]padhi

Research Interests

Programming Languages,   Program Synthesis and Verification,   Statistical Learning


Bio

I recently started working as an applied scientist in Michael Whalen’s proof platforms (P2) team within the Automated Reasoning Group at Amazon Web Services.

My current research is focused on using program synthesis to aid users in writing highly reliable software. I design techniques to help developers generate formal specifications for their programs as well as synthesize sufficient invariants that provably establish their correctness.

I graduated with a Ph.D. in CS from UCLA in 2020, and a B.Tech. (Hons.) in CSE from IIT Bombay in 2014.

Recent Updates · · · ( Details )

Sep20
On PLDI ' 21 PC
Aug20
Applied Scientist @ AWS
( Boston, MA )
Jun20
May20
Defended PhD Thesis
May20
PLDI Distinguished Paper Award