Abrusci Michele

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