Coordonnées

Doctorat

Intitulé : Mathématiques
1ère inscription en thèse : Octobre 2010
École doctorale : Mathématiques et Informatique de Marseille
Date de soutenance de la thèse : 15 Décembre 2014
Sujet : Étude combinatoire du lambda-calcul avec ressources
Directeur de thèse : LAURENT REGNIER
Co-directeur :
Unité de recherche : I2M - Institut de Mathématiques de Marseille
Intitulé de l'équipe :

Master

Intitulé : Sciences et thechnologies à finalité recherche, mention mathématiques et applications
Juin 2010 - Université Aix-Marseille 2
Mention : bien

Langues vivantes