Hanno Becker
Principal Applied Scientist at Amazon Web Services (AWS)
Cambridge, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolHanno Becker is a Principal Applied Scientist based in Cambridge with nine years of experience applying deep mathematical training to high-assurance, high-performance systems engineering. He brings a rare combination of a PhD in mathematics and hands-on expertise in formal verification, Rust/AArch64 systems code, and post-quantum cryptography, having led cryptographic engineering for Graviton at AWS. Hanno’s background spans academia and industry—from formal Coq verification of microkernels to maintaining the high-assurance ML-KEM implementation mlkem-native—so he moves comfortably between proofs, audits, and production optimization. He has a track record of finding and fixing subtle crypto vulnerabilities, contributing to Mbed TLS, and shaping privacy-enhancing and post-quantum crypto research at Arm and AWS. Colleagues rely on him for rigorous, auditable designs that scale to real-world, performance-sensitive hardware.
9 years of coding experience
13 years of employment as a software developer
PhD Mathematics, PhD Mathematics at The University of Bonn
German, English, French
Stackoverflow
559reputation
10kreached
0answers
6questions
Github Skills (124)
siemens10
mbed10
post-quantum10
websocket10
fhe10
ada10
internet10
constraint10
arm10
linear-programming10
sftp10
encryption10
optimization10
operating-system10
crypto10
Programming languages (10)
Github contributions (5)
hannestschofenig/mbedtls
Mar 2020 - Nov 2021
An open source, portable, easy to use, readable and flexible SSL library
Contributions:485 reviews, 905 commits, 273 PRs in 1 year 8 months
xmakeadasiemenssslreadable
slothy-optimizer/slothy
Oct 2022 - Nov 2022
Assembly super-optimization via constraint solving
Contributions:93 reviews, 12 commits, 137 PRs in 14 days
solvingsatoptimizationconstraintconstraint-programming
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.