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

• I gave a presentation at the Programming Principles, Logic, and Verification Seminar of the University College London.
  

  London · 28 June 2022

• My paper Guarded Kleene Algebra with Tests: Automata Learning has been accepted at the 38th International Conference on Mathematical Foundations of Programming Semantics (MFPS 22).
  

  London · 10 June 2022

• I have accepted an internship offer from Meta. I will be working on the (type system of the) Hack programming language.
  

  London · 02 Mar 2022