Overview

Self portrait

I am a PhD student in the Programming Principles, Logic, and Verification group at University College London supervised by Alexandra Silva and Matteo Sammartino. Before that I received a MSc and BSc in Mathematics from University of Hamburg, where I worked with Christoph Schweigert and Matthias Hamann.

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 algebra, coalgebra, formal languages and semantics. I am also interested in category theory, string diagrams, and model learning. Please feel free to get in touch!

News