Scholar
Stefan Zetzsche
Google Scholar ID: xzdy3VEAAAAJ
Applied Scientist, Amazon Web Services
Citations & Impact
Citations
36
H-index
4
i10-index
0
Publications
20
Co-authors
19
list available
Publications
Resume (English only)
Academic Achievements
- Paper 'CLEVER: A Curated Benchmark for Formally Verified Code Generation' accepted at NeurIPS 2025
Research Experience
- Currently an Applied Scientist at Amazon Web Services' Automated Reasoning Group
Education
- PhD, University College London, supervised by Alexandra Silva
Background
- An Applied Scientist specializing in the intersection of generative AI and formal methods. Previously, a PhD student at University College London.
Miscellany
- Open to internships, collaborations, or just a chat
