Summary
Henry Sudhof is a senior software engineer and tech lead specializing in source interoperability and core build/release infrastructure, currently leading a team at Google focused on bridging internal and external development ecosystems with emphasis on AI support and supply chain security. With a PhD in formal methods and nine years at Google, he pairs deep theoretical expertise in type systems and security with hands-on systems work in C++ and Java for high-risk, large-scale platforms like payments and search. He led Copybara development—powering continuous mirroring between mono-repos and open-source projects used by TensorFlow, Chrome, Android and others—bringing practical improvements to transformation, exception handling, and repository workflows. A longtime open-source contributor and former phpBB security lead, he blends community-centered development with enterprise-grade reliability, scalability and compliance. Based in New York, he is ITIL v3 certified and deliberately uninterested in finance roles, preferring infrastructure, security and developer-experience challenges.
9 years of coding experience
17 years of employment as a software developer
Doctorate Computer Science Formal Methods security and safety type systems, Doctorate Computer Science Formal Methods security and safety type systems at Technische Universität Berlin
English, German