Teaching



Current Teaching

Logica F2Y0C- (in Italian) (6 CFU) Corso di Laurea Magistrale in Sicurezza Informatica e per il Corso di Laurea Triennale in Informatica.

Progettazione di software sicuro - Laboratorio (in Italian) (1.5 CFU) Corso di Laurea Triennale in Sicurezza dei Sistemi e delle Reti Informatiche, Corso di Laurea Triennale in Informatica (Ingegneria del SW)

Mathematical Logic F941T- (in English) (6 CFU) Master Degree in Informatics.

Circuit modeling and applications to biology, security and new technologies R181F- (in English) (2 CFU) PhD School in Computer Science.


Past Teaching

Logica Matematica (F1X1J-) (6 CFU) Corso di Laurea Triennale in Informatica.

Logica Matematica (F941K-) (6 CFU) Corso di Laurea Magistrale in Informatica.

Logica Matematica (F54048) (5 CFU) Corsi di Laurea Triennali.

Fondamenti di Logica Matematica (F87019) (6 CFU) Corso di Laurea Magistrale in Scienze e Tecnologie dell'Informazione, Corsi di Laurea Triennali.

Laboratorio di programmazione (F54073) (6 CFU) Corso di Laurea Triennale in Informatica.

Circuit modeling and applications to security and new technologies (in English) (2 CFU) PhD School in Computer Science.