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
2014 – 2020
 

Expertise

Program Synthesis
Present
 
Program Verification
Present
 
Statistical Analyses
Present