Architettura degli elaboratori F3X0F (in Italian) (6 CFU) Corso di Laurea Triennale in Informatica Musicale.

Logica F2Y0C (in Italian) (6 CFU) Corso di Laurea Magistrale in Sicurezza Informatica.

Progettazione di software sicuro - Laboratorio F6802- e F1A0J- (in Italian) (1.5 CFU) Corso di Laurea Triennale in Sicurezza dei Sistemi e delle Reti Informatiche.

Reversible Logic and Quantum Computing (in English) (2 CFU) PhD in Computer Science.

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

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 in Computer Science.

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