Paolo Di Giamberardino

Paolo Di Giamberardino is a post-doc fellow at the Department of Mathematics and Computer Science of the University of Cagliari.

From 2008 to 2011 he was lecturer in Computer Science at the University of Paris 13.

He holds a joint PhD from the University of Rome 3 in Philosophy and from the University of Aix-Marseille II in Discrete Mathematics and Theoretical Computer Science.

His main research interests are proof theory, linear logic and proof nets, denotational semantics, pi-calculus.