Instafoto.gif IMG_0568.jpg

Paolo Pistone


Università di Bologna,
Dipartimento di Informatica - Scienze e Ingegneria
v. Mura Anteo Zamboni 7, 40126, Bologna, Italy.

I am a post-doc researcher in logic, currently working within Ugo Dal Lago's ERC CoG project DIAPASoN at the University of Bologna.

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, as well as on related themes in Theoretical Computer Science.

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/ Theoretical Computer Science:

Philosophy of Logic:

Other stuff:

Recent talks: