I am an Applied Scientist in the Automated Reasoning Group of Amazon Web Services working with and on the Dafny programming language.
Before that, I was a PhD student in the Programming Principles, Logic, and Verification Group at University College London, and a MSc and BSc student in Pure Mathematics at the University of Hamburg.
This website contains an overview of my publications, talks, and other academic activities I am involved in. I am the owner of the domains zetzsche.st and fgh.xyz. My current research interest includes coalgebra, model learning, and category theory. Please feel free to get in touch!
London · 19 Jan 2023
London · 15 Jan 2023
London · 21 Dec 2022