Avatar from GitHub

Contact Me

Office:   Google TM-2, San Jose, CA
Email (Work):   spadhi google • com
Email (Private):   saswatpadhi protonmail • com

Research Interests

Programming Languages,   Software Verification,   Statistical Learning,   Program Synthesis


Bio

I am a senior software engineer in the chromeOS performance team at Google. Prior to that, I was an applied scientist in the Automated Reasoning Group at Amazon Web Services.

Before joining the industry, 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 building high-performance systems with strong reliability guarantees. My PhD research was focused on using program synthesis and statistical learning techniques to aid development of formally verified software.

Recent Updates · · · ( Details )

Oct22
Promoted to “Dad”!
Sep22
Senior SWE @ Google
( San Jose, CA )
Dec21
Tied The Knot!
Jul21
Nov20
Dataset Sampling Patent Granted
Sep20
On PLDI ' 21 and SYNT (at CAV ' 21) PC