PhD student at INRIA Paris, member of the Prosecco team. Currently a LIRMM resident in the MaREL team. I am interested in programming languages and logic. Currently writting my PhD dissertation, which is focusing on structural subtyping in dependently typed settings.
Recent Activities
Publications
-
Théo Laurent, Meven Lennon-Bertrand and Kenji Maillard. Definitional Functoriality for Dependent (Sub)Types. Published and presented at ESOP 2024. Extended version available on arXiv.
-
Théo Laurent and Kenji Maillard. Mettons de l’ordre dans CIC ! Presented at JFLA 2021 (in French). Available on Kenji’s website.
Teaching
2022 – 2023
- Teaching Assistant, Math for Computer Sciences at Sorbonne Université.
- Teaching Assistant, Functional Programming at Sorbonne Université.
2021 – 2022
- Teaching Assistant, Math for Computer Sciences at Sorbonne Université.
- Teaching Assistant, Functional Programming at Sorbonne Université.
Supervision
- Rémy Citérin, co-supervised master student from École Normale Supérieure. Intership from March to August 2023.
Service
- Artifact Evaluation Committee, POPL 2021.
- Student Volunteer, ICFP 2020.
Before Enrolling in PhD Program
Publications
2018
- Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Cătălin Hrițcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati, and Andrew Tolmach. When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. Published and presented at CSS 2018. Available on arXiv.
2014
- Mathieu Jaume, Théo Laurent. Teaching Formal Methods and Discrete Mathematics. Published and presented at F-IDE 2014. Available on arXiv.
Teaching
2016 – 2017
- Teaching Assistant, undergraduate mathematics course at Lycée Henry IV.