Sun 15 - Sat 21 November 2020 Online Conference
Stefan Zetzsche

Registered user since Mon 30 Dec 2019

Name:Stefan Zetzsche

Stefan Zetzsche is a German-born PhD student in the Programming Principles, Logic, and Verification group at University College London (UCL) supervised by Alexandra Silva and Matteo Sammartino. His research interest includes algebra, coalgebra, formal languages and semantics. He is also interested in category theory, string diagrams, and model learning. Prior to joining UCL he received a BSc and MSc in Mathematics from University of Hamburg, where he worked with Christoph Schweigert on duality theories for monoidal categories and their applications to Topological Quantum Field Theory.

Country:United Kingdom
Affiliation:University College London
Personal website: https://zetzsche.st
Research interests:Algebra/Coalgebra, Category Theory, Programming Languages, Logic


Show activities from other conferences

SPLASH 2020-profile
View general profile