![Stefan Zetzsche](https://pldi24.sigplan.org/getProfileImage/stefanzetzsche/3c2b051b-cb72-42ec-ab13-6dd4f0813934/small.jpg?1724181399000)
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), working with and on the verification-aware programming language Dafny. 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
PLDI 2024-profile
View general profile
View general profile