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.