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!
London · 16 Jan 2021
London · 31 Oct 2020
London · 21 Oct 2020
London · 20 Oct 2020
2020
University of Hamburg · 2018
University of Hamburg · 2016
University College London · 2020-21
University College London · 2020-21
University College London · 2020-21
University College London · 2020
University College London · 2019-20
University College London · 2019-20
University College London · 2018-19
University of Hamburg · 2017
University of Hamburg · 2016
University of Hamburg · 2015-16
London · 2020
London · 2020
Cambridge · 2019
Glasgow · 2019
Birmingham · 2018
Virtual · 2021
Virtual · 2020
Virtual · 2020
New Orleans · 2020
London · 2019
London · 2019
Hamburg · 2015
London · 2018-2022
University of Hamburg · 2018