SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Stefan Zetzsche

Registered user since Mon 30 Dec 2019

Name: Stefan Zetzsche

Bio: 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

Contributions

SPLASH 2020 Mentor in Mentors within the PLMW-track
Show activities from other conferences

SPLASH 2020-profile
View general profile