Norbert Manthey
Senior Security Engineer at Amazon Web Sevices
Dresden, Saxony, Germany
Summary
👤
Senior🎓
Top SchoolNorbert Manthey is a Senior Security Engineer based in Dresden with a decade of experience building scalable, secure systems at Amazon Web Services and earlier as a researcher on SAT solving and parallel algorithmics. He blends deep academic roots—a Dr.‑Ing. and postdoctoral work on parallel SAT solvers—with hands‑on engineering, contributing optimizations and automation to open-source verification tooling like the well-regarded CBMC project. Known for being straight to the point, he drives practical improvements such as performance-focused refactors and kernel integration scripts that bridge formal methods with real-world build processes. His background in both research and production security gives him a rare ability to translate advanced verification techniques into robust, automatable security features at cloud scale.
10 years of coding experience
Diplom, Informatik, Diplom, Informatik at Technische Universität DresdenAbitur, Abitur at Goethe Gymnasium Bischofswerda
English, German, c++
Github Skills (8)
c-language10
cprogramming-language10
build-automation10
bash9
code-optimization9
makefile7
python7
gnu-make7
Programming languages (7)
Github contributions (5)
diffblue/cbmc
Mar 2018 - Mar 2021
C Bounded Model Checker
Role in this project:
Backend Developer & Automation Engineer
Backend Developer & Automation EngineerContributions:11 reviews, 12 commits, 17 PRs in 3 years
Contributions summary:Norbert contributed to the project by optimizing code for faster DIMACS printing using stringstreams and implementing an empty handler for the "PHDRS" block in the ls_parse script to handle unknown blocks. They also refactored code by dropping unused sets and replacing ordered sets with unordered sets for improved performance in computing called functions. Furthermore, they added a script to compile the Linux kernel and integrated CBMC via one-line-scan into the build process.
model-checkermodel-checkingcppcheckertla
nmanthey/cbmc
Jan 2017 - Jan 2024
C Bounded Model Checker
Contributions:8 PRs, 103 pushes, 26 branches in 7 years 1 month
model-checkerchecker
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.