Students
PhD students
-
2016–2019: Jérémy Ledent
Geometric Semantics for Asynchronous Computability -
2017–2020: Thibaut Benjamin
A type theoretic approach to weak omega-categories and related higher structures -
2017–2020: Simon Forest
Computational descriptions of higher categories -
2017–2020: Cédric Ho Thanh
Opetopes: Syntactic and Algebraic Aspects -
2020–2023: Aly-Bora Ulusoy
A syntactic approach to the directed semantics of programs -
2022–2025: Elies Harington
Modèles polynomiaux de la logique linéaire dans les catégories supérieures -
2022–2025: Émile Oleon
Méthodes par réecriture en théorie des types homotopiques -
2024–2027: Louise Leclerc
Une théorie homotopique des types dirigés -
2024–2027: Yorgo Chamoun
Ensembles précubiques et variétés différentiables -
2024–2027: Bruno Drieux
Automatic transposition of ordinary topos theory results to the relative setting
Other students
-
2011-2012: Tobias Heindel (post-doc)
A geometric view of partial order reduction -
2012: Paul-Elliot Angles d’Auriac (M1 internship)
Transfer principle in non standard analysis -
2012-2013: Cinzia Di Giusto (post-doc)
A categorical theory of patches -
2015-2016: Eric Finster (post-doc)
A type-theoretical definition of weak ω-categories -
2019-2020: Klara Nosan (M1 research project)
Extending records in ML -
2020: Guillaume Paya-Monet (bachelor thesis)
Constructing a presentation of the category of flow networks -
2020: Aly-Bora Ulusoy (M2 internship)
Syntaxe des programmes concurrents -
2021: Peixin You (bachelor research project)
Arithmetic on integers in homotopy type theory -
2021-2022: Sébastien Draux (M1 research project)
Espèces de structure en théorie des types homotopiques -
2022: Peixin You (bachelor thesis)
Semantics analysis for Faust language -
2021: Émile Oleon (M2 internship)
Division par 2 en théorie des types homotopiques -
2022-2023: Yorgo Chamoun (M1 research project)
De l’utilité des catégories en théorie des automates -
2023: Dylan Laird (L3 internship)
La varitété hypercubique en théorie des types homotopiques -
2023: Camil Champin (L3 internship)
Delooping generated groups in homotopy type theory -
2023: Samar Rahmouni (M1 research project)
Formalisation des algèbres graphiques -
2024-2025: Rémy Germe (M1 research project)
Extensional equalities in combinatory logic and lambda calculus -
2024-2025: Hugo Barreiro (M1 research project)
Classification de présentations de monoides -
2025: William Hasley (L3 internship)
Présentation cohérente de ℤ₂ -
2025: Hugo Salou (L3 internship)
Formalisation de la fibration de Galois -
2025: Kelton OBrien (M2 internship)
Cellular group resolutions