Henry Sudhof

Tech Lead Source Interoperability (Senior SWE) at Google

New York, New York, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
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.
code9 years of coding experience
job17 years of employment as a software developer
bookDoctorate Computer Science Formal Methods security and safety type systems, Doctorate Computer Science Formal Methods security and safety type systems at Technische Universität Berlin
languagesEnglish, German
github-logo-circle

Github Skills (13)

regular-expression10
javas10
java10
testing9
cli9
command-line9
command-line-interface9
git9
code-optimization8
code-review8
apidoc7
version-control7
api7

Programming languages (6)

JavaC++RustGoJupyter NotebookPython

Github contributions (5)

github-logo-circle
google/copybara

Sep 2016 - Jan 2023

Copybara: A tool for transforming and moving code between repositories.
Role in this project:
userBack-end Developer
Contributions:5 reviews, 312 commits, 94 comments in 6 years 5 months
Contributions summary:Henry's contributions primarily involve enhancing the Copybara tool's functionality. Their work includes implementing a command-line option to disable reversible checks, adding a new transformation for verifying regular expression matches within files, and removing deprecated usages. They made updates to the codebase to align with a new default branch naming convention and introduced the ability to specify a tag for use with Gerrit reviews. The user also refactored and improved exception handling within the tool.
repositoriescopybara
hsudhof/jcfixes

May 2023 - Oct 2023

Command line parsing framework for Java
Contributions:10 pushes, 1 branch in 5 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.
Request Free Trial