ANNO ACCADEMICO 2024-25

• Fondamenti di Informatica (6CFU) - Corso di Laurea in Ingegneria Biomedica
  
• Dependable and Secure Systems (9CFU) - Laurea Magistrale in Computer Engineering
  
• Dependability (6CFU) - Laurea Magistrale in Cybersecurity
  

-------------------------------------------------------------------------------------------------------------
ANNO ACCADEMICO 2023-24

• Fondamenti di Informatica (6CFU) - Corso di Laurea in Ingegneria Biomedica
  
• Formal Methods for Secure Systems (9CFU) - Laurea Magistrale in Computer Engineering
  
• Dependability (6CFU) - Laurea Magistrale in Cybersecurity
  

-------------------------------------------------------------------------------------------------------------
ANNO ACCADEMICO 2022-23

• Fondamenti di Informatica (6CFU) - Corso di Laurea in Ingegneria Biomedica
  
• Formal Methods for Secure Systems (9CFU) - Laurea Magistrale in Computer Engineering
  
• Dependability (6CFU) - Laurea Magistrale in Cybersecurity
  

-------------------------------------------------------------------------------------------------------------
ANNO ACCADEMICO 2021-22

• Fondamenti di Informatica (6CFU) - Corso di Laurea in Ingegneria Biomedica
  
• Formal Methods for Secure Systems (9CFU) - Laurea Magistrale in Computer Engineering
  
• Dependability (6CFU) - Laurea Magistrale in Cybersecurity
  

-------------------------------------------------------------------------------------------------------------
ANNO ACCADEMICO 2020-21

• Fondamenti di Informatica (6CFU) - Corso di Laurea in Ingegneria Biomedica
  
• Formal Methods for Secure Systems (9CFU) - Laurea Magistrale in Computer Engineering
  

-------------------------------------------------------------------------------------------------------------
ANNO ACCADEMICO 2019-20

• Fondamenti di Informatica - Corso di Laurea in Ingegneria Biomedica
  
• Formal Methods for Secure Systems (9CFU) - Laurea Magistrale in Computer Engineering
  

-------------------------------------------------------------------------------------------------------------

RICEVIMENTO
Lunedi' 10.30-13.30 Venerdi 14.30-16.30 (tutorato)
Dip. di Ingegneria dell'Informazione, Polo A, III piano (stanza 206)


--------------------------------------------------------------------------------------------------------------

ARGOMENTI DI TESI
Master Theses are available on
- Digital Twin technology in automotive field
- Formal verification of programs