Didattica - Teaching

Insegnamenti a.a. 2023-2024

• Metodi formali per l'Informatica (III anno, I e II semestre - Laurea triennale in Informatica) Pagina Moodle
• Algoritmi e strutture dati - corso B (II anno, II semestre - Laurea triennale in Informatica) Pagina Moodle
• Basi di dati (I anno, I semestre - Laurea magistrale in Scienze strategiche) Pagina Moodle
• Introduction to (semi) automated software certification (Master Universitario di II Livello - MPM Aviation Sciences)

Insegnamenti a.a. 2022-2023

• Metodi formali per l'Informatica (III anno, I e II semestre - Laurea triennale in Informatica) Pagina Moodle
• Algoritmi e strutture dati - corso B (II anno, II semestre - Laurea triennale in Informatica) Pagina Moodle
• Basi di dati (I anno, I semestre - Laurea magistrale in Scienze strategiche) Pagina Moodle

Insegnamenti a.a. 2021-2022

• Metodi formali per l'Informatica (III anno, I e II semestre - Laurea triennale in Informatica) Pagina Moodle
• Basi di dati (I anno, I semestre - Laurea magistrale in Scienze strategiche) Pagina Moodle
• Algoritmi e strutture dati - corso B (II anno, II semestre - Laurea triennale in Informatica) Pagina Moodle
• Formal methods and automatic reasoning in Agda (Dottorato di ricerca) Pagina Moodle

Insegnamenti a.a. 2020-2021

• Metodi formali per l'Informatica (III anno, I e II semestre - Laurea triennale in Informatica) Pagina Moodle
• Basi di dati (I anno, I semestre - Laurea magistrale in Scienze strategiche) Pagina Moodle
• Algoritmi e strutture dati - corso B (II anno, II semestre - Laurea triennale in Informatica) Pagina Moodle

Insegnamenti a.a. 2019-2020

• Metodi formali per l'Informatica (III anno, I e II semestre - Laurea triennale in Informatica) Pagina Moodle
• Basi di dati (I anno, I semestre - Laurea magistrale in Scienze strategiche) Pagina Moodle
• Algoritmi e strutture dati - corso B (II anno, II semestre - Laurea triennale in Informatica) Pagina Moodle