Instafoto.gif IMG_0568.jpg

Paolo Pistone


Assistant Professor at Dipartimento di Informatica - Scienza e Ingegneria,
Università di Bologna, Mura Anteo Zamboni 7, Bologna, Italy.

Previously I was:

I obtained a joint PhD in Mathematics and Philosophy in 2015 from Université d'Aix-Marseille and Università 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: