Self portrait

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!