Sydney Gibson
Staff Security Engineering Manager at Google
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolSydney Gibson is a Staff Security Engineering Manager at Google with a decade of experience bridging formal verification research and production security for low-level systems. A Ph.D. student at Carnegie Mellon advised by Bryan Parno, Sydney has formalized and verified critical boot and crypto components for OpenTitan and contributed ISA and machine-model specifications used in hardware-rooted trust designs. They have led engineering at a silicon and supply-chain security startup, shipping a silicon provisioning system and helping secure a $10M seed round, and now lead AI product security engineering at Google. Their background spans research internships at Microsoft Research and VMware to applied engineering at Aurora, reflecting a rare blend of formal-methods expertise and pragmatic systems delivery. Known for turning formal guarantees into deployable tooling, Sydney combines rigorous academic grounding (MIT degrees) with hands-on leadership across hardware, software, and ML infrastructure.
10 years of coding experience
6 years of employment as a software developer
Bachelor’s Degree, Electrical Engineering and Computer Science, Mathematics, Bachelor’s Degree, Electrical Engineering and Computer Science, Mathematics at Massachusetts Institute of TechnologyDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Computer Science Department, Carnegie Mellon
Github Skills (44)
apl10
c-language10
concurrent10
webcrypto10
verification10
goose10
ocaml10
security10
sat-solver10
eddsa10
formal-verification10
coq10
idris10
cryptography10
trust10
Programming languages (8)
Github contributions (5)
sydgibs/paradox-viz
Jun 2018 - May 2019
Contributions:20 commits, 12 pushes, 1 branch in 11 months
sydgibs/sydgibs.github.io
May 2019 - Aug 2024
Contributions:59 pushes, 1 branch in 5 years 3 months
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.