Labourdette Rémi

Presentation

I am a PhD student at the LACL (Laboratory of Algorithmic, Complexity and Logic) under the supervision of Laura Fontanella and Julien Cervelle, working mostly on realizability in set theory but also in many other aspects mixing logic, mathematics and computer science. My thesis project is about realizability models for the axiom of choice, to have a better understanding on its computational side. My studies are mostly motivated by a deep questioning about fondations in mathematics, the philosophical questions that come with and a certain interest for programing.

Educational background

• First year PhD student in logic and computer science at the LACL, Université Paris-Est Créteil — 2025-2026
• Second year of undergraduate master degree in fundamental mathematics, logic and computer science, M2 LMFI Université Paris-Cité — 2024-2025
  • Master degree in mathematics, logic and computer science, with honours “Very Well”
  • Learn Rocq, proof assistant programming
• First year of undergraduate master degree in fundamental mathematics, M1 Jacques Hadamard, Université Paris-Saclay — 2023-2024
  • Selected for the foundation Jacques Hadamard’s Sophie Germain scholarship
• Third year of undergraduate license degree in mathematics, LDD3 Magistère de mathématiques d’Orsay, Université Paris-Saclay — 2022-2023
  • License degree in mathematics
• Three years of preparatory classes in mathematics (intensive classes preparing for the national competitive exam for engineering and research schools), Lycée Carnot, Dijon — 2019-2022
  • Learn Python and Ocaml programming
• High school : Lycée Hippolyte Fontaine, Dijon — 2018-2019
  • French Baccalauréat : mathematics, engineering sciences, european bilingual section, with honours “Very Well”

Reaserch and interest

I am mostly interested in realizability and set theory, which entails a large covering of mathematical logic and theoretic computer science. For instance, I also take some time to lear about proof theory and intuitionistic logic, calculability, rocq programming and a little bit of category theory.

I also gave a presentation about realisability in the doctoral students seminar of the LACL.

Teaching

• Practical session about basic programing on Robusta at UPEC (Université Paris-Est Créteil) — 2025-2026

Contact

remi.labourdette@u-pec.fr