Stefan Zetzsche
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolStefan Zetzsche is an applied scientist in London focused on the intersection of generative AI and formal methods, bringing three years of practical experience and deep academic training. He holds a PhD in Computer Science from UCL and a first-class MSc in Mathematics from the University of Hamburg, blending rigorous theoretical grounding with hands-on research. Stefan’s work sits at the confluence of provable system properties and creative model generation, aiming to make AI outputs more reliable and verifiable. He is comfortable translating complex math into implementable algorithms and prototypes, informed by both formal reasoning and modern generative techniques. Based in the UK, he combines academic depth with a pragmatic approach to building research systems that prioritize correctness as well as creativity. An understated strength is his ability to navigate both pure-math proofs and applied engineering trade-offs when delivering robust AI-driven solutions.
3 years of coding experience
Bachelor of Science - BS, Mathematics and Computer Science, Bachelor of Science - BS, Mathematics and Computer Science at University of HamburgUniversity College London
English, German, French
Github Skills (11)
programming-language10
verification10
dafny10
monte-carlo8
vscode7
boogie7
ide6
algorithms6
python6
mathematics4
aws1
Programming languages (8)
Github contributions (5)
dafny-lang/Dafny-VMC
Sep 2023 - Nov 2024
Dafny-VMC: a Library for Verified Monte Carlo Algorithms
Contributions:6 releases, 76 reviews, 150 PRs in 1 year 2 months
dafnymonte-carlo
dafny-lang/miniF2F
Jan 2025 - May 2026
Formal to Formal Mathematics Benchmark
Contributions:1 PR, 35 pushes in 1 year 4 months
mathematics
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.