Overview

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

• My paper Canonical automata via distributive law homomorphisms has been accepted for presentation at the 8th Symposium on Compositional Structures (SYCO 8).
  

  London · 10 Nov 2021

• I am currently interning as Applied Scientist in the Automated Reasoning Group of Amazon Web Services (AWS) under the supervision of Rustan Leino.
  

  London · 3 Sep 2021

• My paper Canonical automata via distributive law homomorphisms has been accepted for publication at the 37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 21).
  

  London · 3 Sep 2021

• I am serving as a student volunteer at the International Conference on Computer-Aided Verification (CAV) and the International Colloquium on Automata, Languages and Programming (ICALP).
  

  London · 25 May 2021