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

News

Quantum Computing

Next exam (extra):

  • 10/04/2026: 9:00, Aula T1 (building E), viale Regina Elena 295, Roma.

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

Prossimo appello (straordinario):

  • 09/04/2026: ore 11:00, laboratorio Colossus, via Salaria 113, Roma.

Formal Methods for AI-based Systems Engineering

Next exam:

  • 13/04/2026: 11:00, laboratorio Colossus, via Salaria 113, Roma.

 

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 on model checking with Edmund M. Clarke at Carnegie Mellon University (USA)

DPhil, Computer Science, University of Oxford (UK)

Laurea, Computer Science, Università degli Studi di Milano (Italy)

Lessons

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