Professore straordinario di Logica e Supplente di Logica Matematica
Education :
Licence en Philosophie (Université de Florence)
Professeur agrégé à l’Université de Bari de 1988 à 1991
Professeur agrégé à l’Université Sapienza de Rome La 1991 à 1994
Professeur à l’Université de Bari de 1994 à 1996.
publications :
La logique mathématique, Fratelli Laterza, Bari, 1992.
Réseaux de preuve non commutative, dans « Advances in Linear Logic", Cambridge University Press, 1995.
Lambeck calcul, cycliques multiples additifs logique linéaire non commutative et multiples additifs logique linéaire, dans "Les preuves linguistiques et les catégories", Clueb, 1996.
Autres :
Coordinateur du "site Roma Tre dans le TMR Réseau de recherche sur la logique linéaire" en informatique théorique
Voir en ligne : Page Pro