
My principal line of research is the study of the integration of XMLbased Mathematical Knowledge Management technologies with Interactive Theorem Proving.
More generally, I am interested in:
Since the academic year 20122013 I am teaching Logic ("Logica per l'informatica"). The teaching material (in Italian only) can be found here.
In the academic year 20142015 I am teaching a module of the Algorithm and Data Structure course ("Algoritmi e Strutture Dati"). The teaching material (in Italian only) can be found here.
In the academic year 20142015 I am teaching a module of the Algorithm and Data Structure course at the Master Degree in Bioinformatics. The teaching material can be found here.
In the academic year 20102011 I tought a short course on constructive mathematics to the students of the Collegio d'Eccellenza. The teaching material (in Italian only) can be found here.
In the academic years 200820011 I used to teach Languages and Structures ("Linguaggi e Strutture"), which is an introduction to logic and algebra. The teaching material (in Italian only) can be found here.
In the academic years 20052006, 20062007 and 20072008 I used to teach Operating Systems ("Sistemi Operativi [MZ]") and, in 200720008 only, also the associated Laboratory ("Laboratorio di Sistemi Operativi [MZ]"). All the teachning material related to it (in Italian only) can be found here.