PhotoID.jpg IMG_0568.jpg

Paolo Pistone


École Normale Supérieure de Lyon, 46 allée d'Italie, 69007 Lyon.

Junior Professor (Chaire Professeur Junior) at Université Claude Bernard Lyon 1 and
Laboratoire de l'Informatique du Parallélisme.

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 Curry-Howard Correspondence (CHC) between formal proofs and verified functional programs or, 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 to account for approximated and probabilistic programs.

Key words:

Papers and pre-prints:

Mathematical Logic/ Theoretical Computer Science:

Philosophy of Logic:

Other stuff: