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 (15)
programming-language10
verification10
dafny10
compiler9
visual-studio-code-extension8
terminology8
boogie7
refactoring6
devcontainer6
theia6
gitpod5
vscode5
vscode-extension5
ide5
visual-studio-code4
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
dafny-lang/libraries
Jan 2023 - Jan 2023
Libraries useful for Dafny programs
Contributions:57 reviews, 66 commits, 32 PRs in 7 days
dafnyprograms
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.