Monsieur Paolo PISTONE / Docteur
PhD student in mathematical logic
Coordonnées
Adresse professionnelle
, ,
Expérience professionnelle
Emplois
Recherche : NON
Doctorat
Titre : Mathématiques
1ère inscription en thèse : 1 janvier 2012 / 4A
Ecole doctorale : Mathématiques et Informatique de Marseille
Date de soutenance de thèse : 27 March 2015
Sujet : Sur les preuves et les types dans la logique du second ordre
Directeur de thèse : GIRARD JEAN-YVES
Co-directeur : ABRUSCI VITO MICHELE
Unité de recherche : I2M - Institut de Mathématiques de Marseille
Master
Titre : Laurea Magistrale
juillet 2011 - Università Roma Tre
Langues
Anglais : C2 - Courant
Français : C2 - Courant
Italien : C2 - Maternel