ListaPerCompetenze
| Nome e Cognome | Competenze |
|---|---|
| Marino Miculan | Metodi Formali nell'Informatica, Cybersecurity, Sistemi Distribuiti, Reti di Calcolatori, Verifica formale, Teoria dei tipi |
| Pietro Di Gianantonio | Metodi Formali nell'Informatica |
| Nome e Cognome | Competenze |
|---|---|
| Marino Miculan | Metodi Formali nell'Informatica, Cybersecurity, Sistemi Distribuiti, Reti di Calcolatori, Verifica formale, Teoria dei tipi |
| Pietro Di Gianantonio | Metodi Formali nell'Informatica |