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 (last update: April 2022).

My research interests are in logic and in the semantics of programming languages, and revolve around the good old Curry-Howard Correspondence (CHC) between formal proofs and verified functional programs (more precisely, between proof systems and typed lambda-calculi). In particular, much of my research has been devoted to System F, a cornerstone of the CHC relating (impredicative) second order quantification in logic with polymorphic programming. More recently, I have been investigating extensions of the CHC correspondence to account for programs whose verification is intrinsically approximated or probabilistic.

Key words:

Papers and pre-prints:

Mathematical Logic/ Theoretical Computer Science:

Philosophy of Logic:

Other stuff:

Recent talks: