POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Stefan Zetzsche

Registered user since Mon 30 Dec 2019

Name:Stefan Zetzsche

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


Show activities from other conferences

POPL 2024-profile
View general profile