teaching /
Teaching
Corsi correnti
- Metodi Formali in Informatica (Magistrale di matematica, Università di Trieste)
Corsi passati
- Algoritmi e Strutture Dati (Università di Trieste)
- Logica e Linguaggi (Università di Trieste)
- Informatica (Laurea Specialistica in ifermieristica ed ostetricia - interateneo)
- Teoria dell'Informazione A.A. 2004/2005 (Università di Udine)
- Laboratorio di ASD A.A. 2005/2006(Università di Udine)
- Bioinformatica a Biotecnologie Sanitarie, aa 2006/2007 (Università di Udine)
- Fondamenti Logici dell'Informatica(Università di Trieste)
- Short course in Computational Systems Biology, January 2007 (SISSA)