About

Saswat Padhi is a highly skilled Senior Software Engineer at Google, specializing in building reliable and secure systems with strong correctness and performance guarantees. With over 3 years of relevant experience, Saswat is an expert in AWS, software engineering, and research science. Saswat holds a Doctor of Philosophy (Ph.D.) in Computer Science from the University of California, Los Angeles (UCLA), where he focused on developing advanced computing systems. Prior to that, he completed his Bachelor of Technology (B.Tech.) in Computer Science and Engineering from the Indian Institute of Technology, Bombay. Before joining Google, Saswat worked as an Applied Scientist II at Amazon's Automated Reasoning Group (ARG), where he contributed to the development of automated reasoning systems. He also worked as a Visiting Student Research Collaborator at Princeton University, collaborating with the Programming Languages (PL) group. Saswat's technical expertise includes AWS, software engineering, and research science. He is passionate about building reliable and secure systems that meet the highest standards of correctness and performance. Saswat is a quick learner and is always eager to take on new challenges. In summary, Saswat Padhi is a highly skilled Senior Software Engineer with a Ph.D. in Computer Science from UCLA and a B.Tech. in Computer Science and Engineering from IIT Bombay. He has over 3 years of relevant experience in AWS, software engineering, and research science. Saswat is passionate about building reliable and secure systems with strong correctness and performance guarantees.