Here the list of courses I have thought, separated in current ones and past ones.

Current courses

• Metodi Formali in Informatica (Formal Methods in Computer Science), Laurea Magistrale in Matematica, Università di Trieste. Go to the moodle page of the course.

PhD Courses

• Fluid and Mean Field Approximation, IMT Lucca, September/October 2013.
• Formal Methods for Complex Systems, Mazaryk University, Brno, May 2012.
• Short course in Computational Systems Biology, SISSA, Trieste, January 2007.

Past courses

• Algoritmi e Strutture Dati, Università di Trieste, 2007 to 2011.
• Logica e Linguaggi, Università di Trieste.
• Informatica, Laurea Specialistica in infermieristica ed ostetricia - interateneo.
• Teoria dell'Informazione, Università di Udine, 2004/2005.
• Laboratorio di ASD, Università di Udine, 2005/2006.
• Bioinformatica a Biotecnologie Sanitarie, Università di Udine, 2006/2007
• Fondamenti Logici dell'Informatica, Università di Trieste.