Short Resume
- 2025: Software Consultant at TNG Technology Consulting
- 2024: Master in Mathematics
- Technical University of Munich
- Grade: 1.1 (passed with high distinction)
- Master Thesis: Change of Enrichment over monoidal 2-Categories
- 2021: Bachelor in Mathematics (with Computer Science as a minor)
- Technical University of Munich
- Grade: 1.8 (passed with merit)
- Bachelor Thesis: Monads and their Applications in Haskell
Mathematics
I am interested in category theory and algebra and their applications to programming languages. The formalization of mathematics in theorem provers such as Lean fascinates me.
For my mathematical projects (including my papers and theses), see here.
Software Development
I have experience in modern software development. Furthermore, I have long been a passionate programmer and a strong advocate for open-source software. I especially enjoy working with Python, Haskell, Julia and Lisp. Regarding tooling, I have been using Linux and Emacs since 2017 and Git since 2020.
For my open source software, see here.
Teaching
I greatly enjoy teaching and have served as a teaching assistant for the following courses during my studies: