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.

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 am serving as a mentor at the Symposium on Principles of Programming Languages.
  

  London · 16 Jan 2021

• I am serving as a student volunteer and mentor at the Conference on Systems, Programming, Languages, and Applications.
  

  London · 31 Oct 2020

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

  London · 21 Oct 2020

• The preprint of my paper Bases for algebras over a monad can be found on arXiv.
  

  London · 20 Oct 2020

Publications

Preprints

• Bases for algebras over a monad

  arxiv · pdf · slides
  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

• Programming Principles, Logic, and Verification Seminar

  slides

  London · 2020

• Programming Principles, Logic, and Verification Reading group

  slides

  London · 2020

• VeTSS Verified Software Workshop

  slides

  Cambridge · 2019

• Scottish Programming Languages and Verification Summer School

  slides

  Glasgow · 2019

• School of Computer Science

  slides

  Birmingham · 2018

Service

• Symposium on Principles of Programming Languages
  
  Mentor
  

  Virtual · 2021

• Conference on Systems, Programming, Languages, and Applications
  
  Student volunteer, mentor
  

  Virtual · 2020

• 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

Awards

• UK Research Institute in Verified Trustworthy Software Systems
  
  Studentship
  

  London · 2018-2022

• Graduation with Distinction

  
  
  MSc Mathematics
  

  University of Hamburg · 2018