degree (Laurea) in Computer Science at the University of Pisa.
participation in the Summer School of INRIA: "Systemes repartis et surete de fonctionnement".
participation in the Summer School of INRIA: "Languages et outils de programmation".
final examination for the course on Mathematical Logic, by Prof. G. Longo, in the mainframe of the "Dottorato di Ricerca".
final examination for the course of Semantics of Concurrent Languages, by Prof. U. Montanari, in the mainframe of the "Dottorato di Ricerca".
presentation of the conclusive seminar for the course of Logic and Functional Languages, by Prof. M. Vanneschi and Prof. G. Levi, in the mainframe of the "Dottorato di Ricerca".
participation in the "Advanced School on Artificial Intelligence" of the LIFIA (Laboratoire d'Informatique Fondamentale et d'In-tel-li-gen-ce Artificielle).
final examination for the course on Category Theory, by Prof. G. Longo, in the mainframe of the "Dottorato di Ricerca".
presentation of the conclusive seminar for the course of Computational Complexity, by Prof. F. Luccio, in the mainframe of the "Dottorato di Ricerca".
presentation of the conclusive seminar for the course of Logic Programming, by Prof. G.Levi, in the mainframe of the "Dottorato di Ricerca".
participation in the "2nd Advanced School on Artificial Intelligence" of the LIFIA (Laboratoire d'Informatique Fondamentale et d'Intelligence Artificielle).