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!
London · 27 Sep 2022
London · 12 July 2022
London · 28 June 2022