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 |