PhD Student
Advisor: Nicolai Kraus
Title Proposal: "Higher Categories in Homotopy Type Theory"
Master's degree in Pure Mathematics
Advisor: Clemens Berger
Master's thesis: "Théorie des Catégories Test et la Catégorie Dendroïdale"
Bachelor degree in Intensive Mathematics