Registered user since Mon 30 Dec 2019
Name:Stefan Zetzsche
Bio:
Stefan Zetzsche is an Applied Scientist with the Automated Reasoning Group at Amazon Web Services, based in London, United Kingdom. Before that, he was a PhD student in the Programming Principles, Logic, and Verification Group at University College London, where he was supervised by Alexandra Silva.
Country:United Kingdom
Affiliation:Amazon Web Services
Personal website: https://stefanzetzsche.com
Contributions
2025
Dafny
- Session Chair of Keynote (part of Dafny 2025)
- Verifying the Fisher-Yates Shuffle Algorithm in Dafny
- Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
- PC Chair in Program Committee Chairs within the Dafny 2025-track
- Session Chair of Verified Code Synthesis (part of Dafny 2025)
- Day opening
- Session Chair of Proof Stability and Applications (part of Dafny 2025)
- Session Chair of Backends and Teaching (part of Dafny 2025)
- Day closing
- Randomised Testing of the Dafny Compiler: Into the CI
- Dafny as Verification-Aware Intermediate Language for Code Generation
POPL 2025-profile
View general profile
View general profile