Nome e Cognome | Competenze |
---|---|
Marino Miculan | Metodi Formali nell'Informatica, Cybersecurity, Sistemi Distribuiti, Reti di Calcolatori, Verifica formale, Teoria dei tipi |
Gian Luca Foresti | computer vision, Artificial Intelligence, Machine Learning, Cybersecurity |