Avatar from GitHub

Contact Me

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

Research Interests

Programming Languages,   Software Verification,   Statistical Learning,   Program Synthesis


I am an applied scientist in the proof platforms (P2) team within the Automated Reasoning Group at Amazon Web Services. I am currently working on adding unbounded proof support to our verification infrastructure.

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

I am interested in all aspects of designing and implementing high-performance systems that have strong correctness guarantees. My PhD research was focused around using program synthesis and statistical learning techniques to aid development of formally verified software.

Recent Updates · · · ( Details )

Dataset Sampling Patent Granted
On PLDI ' 21 and SYNT (at CAV ' 21) PC
Applied Scientist @ AWS
( Boston, MA )
Defended PhD Thesis