PhD student in mathematical logic
Coordonnées
paolo.pistone@uniroma3.it
Expérience professionelle
Type de contrat : En recherche d'emploi
Adresse professionnelle
Doctorat
Intitulé : Mathématiques
1ère inscription en thèse :
Janvier 2012
École doctorale :
Mathématiques et Informatique de Marseille
Date de soutenance de la thèse :
27 Mars 2015
Sujet :
Sur les preuves et les types dans la logique du second ordre
Directeur de thèse :
JEAN-YVES GIRARD
Co-directeur :
VITO MICHELE ABRUSCI
Unité de recherche :
I2M - Institut de Mathématiques de Marseille
Intitulé de l'équipe :
Master
Intitulé : Laurea Magistrale
Juillet 2011 - Università Roma Tre
Langues vivantes
Anglais : C2 - Courant
Français : C2 - Courant
Italien : C2 - Maternel
Production scientifique
-
On transcendental syntax: a Kantian program for logic?
Second Pisa Colloquium in Logic, Language and Epistemology
2014
ABRUSCI V. Michele, PISTONE Paolo
-
Logic programming and logarithmic space
Programming Languages and Systems, 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
2014
AUBERT Clément, BAGNOL Marc, PISTONE Paolo, SEILLER Thomas
-
Rule-following and the limits of formalization: Wittgenstein's considerations through the lens of logic
From logic to practice, Italian Studies in the Philosophy of Mathematics
2015
PISTONE Paolo