Stiéphen Pradal
PhD Student
Education
University of Nottingham
, Nottingham, UK
Oct 2022 - Now
PhD Student
Research Proposal: "Formalisation of ∞-operads in Homotopy
Type Theory"
Advisor: Nicolai Kraus
Sorbonne University
, Paris, France
Sep 2019 - Jun 2021
Master degree in Pure Mathematics
Master's thesis: "Théorie des Catégories Test et la
Catégorie Dendroïdale"
Advisor: Clemens Berger
Sorbonne University
, Paris, France
Sep 2017 - Jun 2019
Bachelor degree in Intensive Mathematics
In-person Events
Upcoming Events
TYPES 2023
12-17th June 2023
ETSinf, Universitat Politècnica de València, Spain
HoTT 2023
22-25th May 2023
Carnegie Mellon University, Pittsburgh, USA
HoTT/UF 2023 & WG6 meeting
22-25th April 2023
Vienna, Austria
Midlands Graduate School 2023
2-6th April 2022
School of Computer Science, University of Birmingham, UK