Monsieur Titouan LECLERCQ / Doctorant
Enseignement et recherche, enseignement supérieur*Recherche en milieu académique*
Coordonnées
Emplois
Recherche : NON
Doctorat
Titre : Mathématiques
1ère inscription en thèse : 1 septembre 2025 / 1A
Ecole doctorale : Mathématiques et Informatique de Marseille
Sujet : Curry-Howard et principes de choix : vers une interprétation calculatoire des mathématiques à rebours
Directeur de thèse : REGNIER LAURENT
Co-directeur :
Unité de recherche : I2M - Institut de Mathématiques de Marseille
Master
Titre : Mathématiques et applications
septembre 2024 - Paris
Mention : Très bien