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