Monsieur Titouan LECLERCQ / PhD student
Enseignement et recherche, enseignement supérieur*Recherche en milieu académique*
Contact details
Jobs
Research : NON
PhD
Title : Mathématiques
First registration date : 1 September 2025 / 1A
Doctoral school : Mathématiques et Informatique de Marseille
Subject : Curry-Howard et principes de choix : vers une interprétation calculatoire des mathématiques à rebours
Thesis supervisor : REGNIER LAURENT
Thesis co-supervisor :
Research unit : I2M - Institut de Mathématiques de Marseille
Master's degree
Title : Mathématiques et applications
September 2024 - Paris
Mention : Très bien