Saswat Padhi
Senior Software Engineer at Google
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolSaswat Padhi is a Senior Software Engineer with 14 years of experience building secure, reliable systems across industry leaders including Google, AWS, and Microsoft. He holds a Ph.D. in Computer Science from UCLA and combines deep research roots with hands-on product delivery, having moved between research internships and production roles throughout his career. Saswat contributes to low-level, safety-critical open source—improving the CBMC bounded model checker and hardening AWS’s s2n-tls—demonstrating expertise in formal verification, memory safety, and cryptographic protocol robustness. Known for refactoring complex contract logic, fixing subtle SMT and pointer-arithmetic bugs, and strengthening test suites, he brings a meticulous, correctness-first approach to engineering. Based in Seattle, he balances pragmatic system design with academic rigor and a dry sense of humor—his GitHub bio: “Coding without vibe.”
14 years of coding experience
7 years of employment as a software developer
Indian Institute of Technology BombayUniversity of California, Los Angeles
English, Hindi, Odia, Sanskrit
Stackoverflow
6,274reputation
635kreached
21answers
13questions
Github Skills (31)
c-language10
ssl10
tls1210
it-security10
solver10
memory-management10
verification10
c1110
model-checking10
tls1310
security10
c1710
mtls10
verify10
sat-solver10
Programming languages (23)
Github contributions (5)
aws/s2n-tls
Dec 2020 - May 2021
An implementation of the TLS/SSL protocols
Role in this project:
Security Engineer
Security EngineerContributions:107 reviews, 9 commits, 15 PRs in 4 months
Contributions summary:Saswat's commits primarily focus on improving the security and robustness of the TLS/SSL implementation within the s2n-tls repository. They updated invariants, fixed potential loop counter overflows that could lead to security vulnerabilities, and removed safety checks in favor of more robust design. The user also ensured memory safety by verifying that there are no memory leaks by adding memory leak check flags.
cryptographysslc99tlscrypto
diffblue/cbmc
Mar 2021 - Aug 2022
C Bounded Model Checker
Role in this project:Back-end Developer
Back-end DeveloperContributions:509 reviews, 95 commits, 67 PRs in 1 year 5 months
Contributions summary:Saswat was instrumental in enhancing the code contracts within the C Bounded Model Checker (CBMC) repository. They refactored and renamed contract application functions and also added support for loop contracts, ensuring both function and loop invariants are enforced. Furthermore, they addressed several bugs related to SMT solver errors, and pointer arithmetic, contributing to the overall robustness and reliability of the CBMC. The user made several contributions to the test suite including adding new test cases and improving existing ones.
model-checkermodel-checkingcppcheckertla
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.