Prior to joining Google, I was an applied scientist in the Automated Reasoning Group at Amazon Web Services (AWS) in Boston, MA. I have also worked at the Research in Software Engineering (RiSE) group at Microsoft Research (Redmond, WA) and the Systems Research group at Microsoft Research India.
Before joining the industry, I graduated with a Ph.D. in CS from UCLA in 2020, with a focus on synthesizing formally verified software using statistical learning techniques. Prior to that, I earned my B.Tech. in CSE from IIT Bombay in 2014.
My personal homepage: https://saswat.padhi.me.