Instafoto.gif IMG_0568.jpg

Paolo Pistone


Dipartimento di Matematica e Fisica,
Università Roma Tre,
L.go S. Leonardo Murialdo 1,
00146, Roma

I am a post-doc researcher in logic, currently in the logic group at Università Roma Tre.

I obtained my joint PhD in Mathematics and Philosophy in 2015 from Aix-Marseille University and the University of Roma Tre, under the supervision of Jean-Yves Girard and Michele Abrusci. My PhD thesis (that you can find below) was awarded the "Prix de Thèse 2016" by Aix-Marseille University.
Here is my CV.

My research interests are in the proof-theory of second order logic (System F) and linear logic (especially proof-nets).

Parametric polymorphism, the central topic of second order proof-theory, lies at the border between mathematics, computer science, and philosophy. It can be considered as the mathematical counterpart of the old philosophical problem of impredicativity. Also, polymorphism is a well-known tool of many programming languages and has deep connections with category theory
(dinaturality, coherence theorems, fibrations).

Papers and pre-prints:

Mathematical Logic:

Philosophy of Logic:

Other stuff:

Recent talks: