PAOLO ZULIANI
Structure:
Dipartimento di INFORMATICA
SSD:
INFO-01/A
Research profile

News

Sistemi Operativi II Modulo (canale A-L e Unitelma)

Appello straordinario:

  • 31/10/2025: ore 12:00, laboratorio Colossus, via Salaria 113, Roma.

 

Formal Methods for AI-based Systems Engineering

 

Receiving hours

Su appuntamento.

Curriculum

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)

Lessons

Lesson codeLessonYearSemesterLanguageCourseCourse codeCurriculum
10620565QUANTUM COMPUTING1st1stENGComputer Science33508Curriculum unico
10607006FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING1st2ndENGComputer Science33508Curriculum unico
1020422SISTEMI OPERATIVI - II MODULO2nd2ndITAComputer Science33503Tecnologico
10607006FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING1st2ndENGComputer Science33508Curriculum unico
10620565QUANTUM COMPUTING1st1stENGComputer Science33508Curriculum unico
1020422SISTEMI OPERATIVI - II MODULO2nd2ndITAComputer Science33503Metodologico
10607006FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING2nd2ndENGComputer Science33508Curriculum unico
10607006FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING2nd2ndENGComputer Science33508Curriculum unico
1020422SISTEMI OPERATIVI - I MODULO2nd2ndITAComputer Science33504Curriculum unico