Informatica per le Aziende (corso di laurea in Operatore Giuridico d'Impresa), 4 CFU sui 9 totali
Software Testing and Validation (corso di laurea in Informatica), 6 CFU
Automated Verification of Cyber-Physical Systems (corso di laurea magistrale in Informatica), 6 CFU