Iosif Petrakis

PhD Theses

Luis Gambarte: Computability and continuity over categories and presheaves (provisional title), in preparation, Mathematics Institute LMU.

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

Yannick 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: 03.07.2024