Office: Google TM-2, San Jose, CA
Email (Work): spadhi google • com
Email (Private): saswatpadhi protonmail • com
Programming Languages, Software Verification, Statistical Learning, Program Synthesis
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.