Overview

I am a PhD student at the Programming Principles, Logic, and Verification group at University College London supervised by Alexandra Silva and Matteo Sammartino. Before that I received an 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.

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

• Next month I will serve as a student volunteer for the Conference on Systems, Programming, Languages, and Applications.
  

  London · 31 Oct 2020

• This term, I am a teaching assistant for Logic and Database Theory, Discrete Mathematics for Computer Scientists, and Computability and Complexity.
  

  London · 21 Oct 2020

• You now can find a preprint of my paper Bases for algebras over a monad on arXiv.
  

  London · 20 Oct 2020

Publications

Preprints

• Bases for algebras over a monad

  arxiv
  

  Stefan Zetzsche, Alexandra Silva, and Matteo Sammartino
  

  2020

Theses

• Generalised duality theory for monoidal categories

  
  

  MSc Thesis

  
  

  University of Hamburg · 2018

• Isomorphism classes of vertex-transitive tournaments

  
  

  BSc Thesis

  
  

  University of Hamburg · 2016

Teaching

• Logic and Database Theory
  

  Assistant

  
  

  University College London · 2020-21

• Discrete Mathematics for Computer Scientists
  

  Assistant

  
  

  University College London · 2020-21

• Computability and Complexity
  

  Assistant

  
  

  University College London · 2020-21

• Discrete Mathematics for Computer Scientists
  

  Assistant

  
  

  University College London · 2020

• Theory of Computation
  

  Assistant

  
  

  University College London · 2019-20

• Principles of Programming
  

  Assistant

  
  

  University College London · 2019-20

• Discrete Mathematics for Computer Scientists
  

  Assistant

  
  

  University College London · 2018-19

• Analysis I
  

  Assistant

  
  

  University of Hamburg · 2017

• Linear Algebra and Analytic Geometry II
  

  Assistant

  
  

  University of Hamburg · 2016

• Linear Algebra and Analytic Geometry I
  

  Assistant

  
  

  University of Hamburg · 2015-16

Talks

• VeTSS Verified Software Workshopslides
  

  Cambridge · 2019

• Scottish Programming Languages and Verification Summer Schoolslides
  

  Glasgow · 2019

• School of Computer Science slides
  

  Birmingham · 2018

Service

• Programming Language Design and Implementation
  

  Student volunteer

  
  

  Virtual · 2020

• Symposium on Principles of Programming Languages
  

  Student volunteer

  
  

  New Orleans · 2020

• Conference on Algebra and Coalgebra in Computer Science
  

  Student volunteer

  
  

  London · 2019

• Conference on the Mathematical Foundations of Programming Semantics
  

  Student volunteer

  
  

  London · 2019

• Annual meeting of the German Mathematical Society
  

  Student volunteer

  
  

  Hamburg · 2015

Studentships and grants

• Symposium on Principles of Programming Languages
  

  Travel grant

  
  

  New Orleans · 2020

• Third Symposium on Compositional Structures
  

  Travel grant

  
  

  Oxford · 2019

• VeTSS Sixth Workshop on Formal Methods and Tools for Security
  

  Travel grant

  
  

  Cambridge · 2018

• UK Research Institute in Verified Trustworthy Software Systems
  

  Studentship

  
  

  London · 2018-2022

Awards

• Graduation with Distinction

  
  

  MSc Mathematics

  
  

  University of Hamburg · 2018