Anno Accademico 2023-24
-
Fondamenti di Programmazione e Laboratorio (Cod. 017AA)
(Laurea in Matematica)
9 CFU, I semestre -
Laboratory For Innovative Software (Cod. 652AA) (Laurea Magistrale in Informatica)
6 CFU, II semestre - Language-Based Technology for Security (Cod. 714AA) (Laurea WCY-LM Cybersecurity)
Anno Accademico 2022-23
-
Fondamenti di Programmazione e Laboratorio (Cod. 017AA)
(Laurea in Matematica)
9 CFU, I semestre -
Laboratory For Innovative Software (Cod. 652AA) (Laurea Magistrale in Informatica)
6 CFU, II semestre - Language-Based Technology for Security (Cod. 714AA) (Laurea WCY-LM Cybersecurity)
Anno Accademico 2021-22
-
Fondamenti di Programmazione e Laboratorio (Cod. 017AA)
(Laurea in Matematica)
9 CFU, I semestre -
Laboratory For Innovative Software (Cod. 652AA) (Laurea Magistrale in Informatica)
6 CFU, II semestre - Language-Based Technology for Security (Cod. 714AA) (Laurea WCY-LM Cybersecurity)
Anno Accademico 2020-21
-
Fondamenti di Programmazione e Laboratorio (Cod. 017AA)
(Laurea in Matematica)
9 CFU, I semestre -
Laboratory For Innovative Software (Cod. 652AA) (Laurea Magistrale in Informatica)
6 CFU, II semestre -
Language-Based Technology for Security (Cod. 714AA) (Laurea WCY-LM Cybersecurity)
9 CFU, II semestre
Anno Accademico 2019-20
-
Fondamenti di Programmazione e Laboratorio
(Laurea in Matematica)
9 CFU, I semestre -
Security Methods and Verification (Laurea Magistrale in Informatica e Networking, Laurea Magistrale in Informatica)
6 CFU, II semestre
Anno Accademico 2018-19
-
Fondamenti di Programmazione e Laboratorio
(Laurea in Matematica)
9 CFU, I semestre -
Security Methods and Verification (Laurea Magistrale in Informatica e Networking, Laurea Magistrale in Informatica)
6 CFU, II semestre
Anno Accademico 2017-18
-
Fondamenti di Programmazione
(Laurea in Matematica)
9 CFU, I semestre -
Logica per la Programmazione (Corso B) (Laurea in Informatica)
6 CFU, I semestre -
Security methods and verification (Laurea Magistrale in Informatica e Networking, Laurea Magistrale in Informatica)
6 CFU, II semestre
Anno Accademico 2016-17
-
Fondamenti di Programmazione
(Laurea in Matematica)
9 CFU, I semestre -
Logica per la Programmazione (Corso B) (Laurea in Informatica)
6 CFU, I semestre -
Metodi Formali per la Sicurezza (Formal Methods fo Security) (Laurea Magistrale in Informatica e Networking, Laurea Magistrale in Informatica)
6 CFU, II semestre
Anno Accademico 2014-15
-
Linguaggio Matematico di Base, Modellazione e Ragionamento (Laurea in Informatica)
14-26 settembre 2014 -
Fondamenti di Programmazione
(Laurea in Matematica)
9 CFU, I semestre -
Logica per la Programmazione (Corso B) (Laurea in Informatica)
6 CFU, I semestre -
Metodi Formali per la Sicurezza (Formal Methods fo Security) (Laurea Magistrale in Informatica e Networking, Laurea Magistrale in Informatica)
6 CFU, II semestre