PhD Theses
- Luis Gambarte: Categorical Aspects of Dependency and Computability, Mathematics Institute LMU, to be submitted in July 2026.
Master Theses
- Valentin Herrmann: TBA, Mathematics Institute LMU, 2026.
- Xiaohu Wang: TBA, Mathematics Institute LMU, 2026.
- Anny Ehrhardt: TBA, Mathematics Institute LMU, 2026.
- Luca Maio: Bishop's Compilation Theorem, Institute of Informatics LMU, 2024.
- Ioannis Andreou: Categorical Aspects of Quantum Lambda Calculus, Mathematics Institute LMU, 2023.
- Luis Gambarte: Chu categories, Mathematics Institute LMU, 2021.
- Anne Michaelis: Categorical aspects of complemented subsets, Mathematics Institute LMU, 2021.
- Max Zeuner: Families of sets in constructive measure theory Mathematics Institute LMU, 2019.
- Johanna Geins: Bridges between the theory of Bishop spaces and the theory of C-spaces Mathematics Institute LMU, 2018.
- Andreas Franz: The wedge sum and the smash product in Homotopy Type Theory Mathematics Institute LMU, 2017
Bachelor Theses
- Anny Ehrhardt: 2-dep Categories, Mathematics Institute LMU, 2024.
- Fabian Lukas Grubmüller: Towards a constructive and predicative integration theory of locally compact metric spaces, Mathematics Institute LMU, 2022.
- Asimina Papadimitriou: The Yoneda lemma, Mathematics Institute LMU, 2021.
- Lion Reichl: Membership-with-evidence in constructive analysis, Mathematics Institute LMU, 2020.
- Nina Sander: Constructive Differentiability, Mathematics Institute LMU, 2020.
- Aru Surendran: On the constructive elementary theory of the category of sets Mathematics Institute LMU, 2019.
- Sophie Schwenke: The constructive Stone-Weierstrass theorem, Mathematics Institute LMU, 2019.
- Daniel Neumaier: The constructive Hahn-Banach theorem (in German), Mathematics Institute LMU, 2018.
- Kajetan Söhnen: Higher inductive types, Mathematics Institute LMU 2018.
- Eghdami Armin: Voevodsky's axiom of univalence, Mathematics Institute LMU, 2018.
- Rebecca Fiebiger: Inductive types in Univalent Type Theory, (in German), Mathematics Institute LMU, 2018.
- Lennard Götz: Martin-Löf's J-rule, Mathematics Institute LMU, 2018.
- (co-supervisor, main supervisor Prof. Dr. H. Schwichtenberg) Christian Saile: A Formal Theory of Computability in Higher Types, Mathematics Institute LMU, 2012.
Last modified: 23.04.2026