
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