Ritratto di paolo.zuliani@uniroma1.it

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

 

 


 

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)