Registered user since Mon 30 Dec 2019
Name:Stefan Zetzsche
Bio:
Stefan Zetzsche is an Applied Scientist in the Automated Reasoning Group at Amazon Web Services (AWS), where he works in the intersection of software verification, formalised mathematics, and machine learning. He has received his Ph.D. in Computer Science from University College London under the supervision of Alexandra Silva (2023), and holds a M.Sc. and B.Sc. in Pure Mathematics. During internships at Meta (2022) and AWS (2021) he has worked on static analysis and theorem proving.
Country:United Kingdom
Affiliation:Amazon Web Services
Personal website: https://zetzsche.st
Research interests:Algebra/Coalgebra, Category Theory, Programming Languages, Logic
Contributions
2026
Dafny
- Day closing
- ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
- DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
- MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification
- Committee Member in Program Committee Chairs within the Dafny 2026-track
- Day opening
Using general profile