ANNO ACCADEMICO 2023-24
-------------------------------------------------------------------------------------------------------------
ANNO ACCADEMICO 2022-23
-------------------------------------------------------------------------------------------------------------
ANNO ACCADEMICO 2021-22
-------------------------------------------------------------------------------------------------------------
ANNO ACCADEMICO 2020-21
-------------------------------------------------------------------------------------------------------------
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