Members‎ > ‎

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. 





 Publications 
 Submissions 
 Thesis 
 Teaching 


Ċ
Paolo Di Giamberardino,
Mar 27, 2014, 3:59 AM
Comments