conf.researchr.org / Stefan Zetzsche
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
2026
Dafny
- PC Chair of Day closing within the Dafny 2026-track
- Author of ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis within the Dafny 2026-track
- Author of DafnyPro: LLM-Assisted Automated Verification for Dafny Programs within the Dafny 2026-track
- Author of MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification within the Dafny 2026-track
- Committee Member in Program Committee Chairs within the Dafny 2026-track
- PC Chair of Day opening within the Dafny 2026-track
2025
PLDI
Dafny
- Session Chair of Keynote (part of Dafny 2025)
- Author of Verifying the Fisher-Yates Shuffle Algorithm in Dafny within the Dafny 2025-track
- Author of Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny within the Dafny 2025-track
- PC Chair in Program Committee Chairs within the Dafny 2025-track
- Session Chair of Verified Code Synthesis (part of Dafny 2025)
- Author of Day opening within the Dafny 2025-track
- Session Chair of Proof Stability and Applications (part of Dafny 2025)
- Session Chair of Backends and Teaching (part of Dafny 2025)
- Author of Day closing within the Dafny 2025-track
- Author of Randomised Testing of the Dafny Compiler: Into the CI within the Dafny 2025-track
- Author of Dafny as Verification-Aware Intermediate Language for Code Generation within the Dafny 2025-track
2024
Dafny
- Author of Day opening within the Dafny 2024-track
- Session Chair of Proof Stability / Brittleness / Scale (part of Dafny 2024)
- Session Chair of Code Generation (part of Dafny 2024)
- Session Chair of Applications (part of Dafny 2024)
- Author of VMC: a Dafny Library for Verified Monte Carlo Algorithms within the Dafny 2024-track
- Program Chair in Program Chairs within the Dafny 2024-track
- Author of Day closing within the Dafny 2024-track