ListaPerCompetenze
| Nome e Cognome | Competenze |
|---|---|
| Dario Della Monica | Metodi Formali nell'Informatica, Basi di dati relazionali (gestione basi dati), logica per informatica, big data |
| Marino Miculan | Metodi Formali nell'Informatica, Cybersecurity, Sistemi Distribuiti, Reti di Calcolatori, Verifica formale, Teoria dei tipi |
| Pietro Di Gianantonio | Metodi Formali nell'Informatica |