Saswat Padhi

Senior Software Engineer, ChromeOS, Google
Joined
May 2017

Names

Saswat Padhi

Emails

****@cs.ucla.edu (Confirmed)
, 
****@amazon.com (Confirmed)
, 
****@google.com (Confirmed)
, 
****@gmail.com (Confirmed)

Personal Links

Career & Education History

Senior Software Engineer
ChromeOS, Google (google.com)
2022 – Present
Applied Scientist
Automated Reasoning Group, Amazon (amazon.com)
2020 – 2022
PhD student
Computer Science, University of California, Los Angeles (ucla.edu)
2014 – 2020
Undergrad student
Computer Science & Engeneering, Indian Institute of Technology Bombay, Indian Institute of Technology, Bombay (cse.iitb.ac.in)
2010 – 2014

Advisors, Relations & Conflicts

PhD Advisor
Todd Millstein
2014 – 2020

Expertise

Program Synthesis
Present
Program Verification
Present
Statistical Analyses
Present

Publications

View all 11 publications

Co-Authors