| Year(s) | Course |
|---|---|
| 2005–2008 | Architettura degli elaboratori Computer Architecture, University of Pisa, Computer Science, 10 CFU |
| 2001–2008 | Laboratorio di programmazione di rete Computer Network Lab, University of Pisa, Computer Science, 6 CFU |
| 2002–2003 | Laboratorio di programmazione concorrente Concurrent Programming Lab, University of Pisa, Computer Science, 6 CFU |
| 2001–2005 | Reti di calcolatori Computer Networks, University of Pisa, Computer Science, 6 CFU |
| 2000–2001 | Laboratorio di programmazione concorrente Concurrent Programming Lab, University of Pisa, Computer Science, 6 CFU |
| 1999-2003 | Informatica generale Introduction to Computer Science, University of Pisa, Environmental Science, 6 CFU |
| 1998–2001 | Architetture degli elaboratori 2, Computer Architecture 2: Parallel and distributed architectures, University of Pisa, Computer Science, 6 CFU |
| 1997–2001 | Sistemi operativi 2 Operating Systems 2, University of Pisa, Dept. Computer Science, 6 CFU |
| 1996–1998 | Laboratorio 4 Computer Science Lab. 4, University of Pisa, Computer Science |
| 1995-1996 | Sistemi operativi Operating Systems, University of Perugia, Computer Science |
| 1994–1996 | Laboratorio 2 Computer Science Lab. 2, University of Pisa, Computer Science |
| 1992–1994 | Corso integrativo di MINIX (per Sistemi operativi) MINIX integrative course within the Operating Systems course, University of Pisa, Computer Science |
| 1991–1992 | Tecniche di Progettazione Automatica, University of Pisa, Computer Science (as assistant) |