PAOLO
ZULIANI
E-mail
Dipartimento
INFORMATICA
Facoltà
Ingegneria dell'informazione, informatica e statistica
SSD
INF/01
Formal Methods for AI-based Systems Engineering
Lectures start on 28 February 2024: Wednesdays 13:00-16:00 and Thursdays 13:00-15:00; room G50, building G, viale Regina Elena 295.
Sistemi Operativi II Modulo
Appello *straordinario* di marzo 2024
- Risultati sul forum Unitelma del corso.
Ricevimento
Su appuntamento via email.
Insegnamento | Codice | Anno | Corso - Frequentare | Bacheca |
---|---|---|---|---|
FONDAMENTI DI PROGRAMMAZIONE CON LABORATORIO | 10603314 | 2023/2024 | ||
FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 10607006 | 2023/2024 | ||
SISTEMI OPERATIVI | 1020422 | 2023/2024 | ||
SISTEMI OPERATIVI | 1020422 | 2023/2024 | ||
SISTEMI OPERATIVI | 1020422 | 2022/2023 | ||
SISTEMI OPERATIVI | 1020422 | 2022/2023 | ||
SISTEMI OPERATIVI | 1020422 | 2016/2017 |
Appuntamento via email.
Before coming to Rome, I spent 10.5 years at the School of Computing, Newcastle University (UK)
Before coming to Newcastle, I worked for four years with Edmund M. Clarke at Carnegie Mellon University (USA) on model checking
DPhil, Computer Science, University of Oxford (UK)
Laurea, Computer Science, Università degli Studi di Milano (Italy)