Attivitˆ didattica
Corso di laurea in Informatica: Metodi matematici per lÕinformatica (1¡ canale)
Corso di laurea magistrale in Informatica: Formal Methods in Software Development
TFA in Informatica