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

Notizie

Quantum Computing

Next exam:

  • 17/06/2026: 9:00, room TBC.

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

Prossimo appello:

  • 08/06/2026: ore 9:00, aula 16, via Tiburtina 205, Roma.

Formal Methods for AI-based Systems Engineering

Next exam: TBC

 

Orari di ricevimento

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)

Insegnamenti

Codice insegnamentoInsegnamentoAnnoSemestreLingua CorsoCodice corsoCurriculum
10607006FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING2º2ºENGComputer Science - Informatica33508Curriculum unico
10620565QUANTUM COMPUTING1º1ºENGComputer Science - Informatica33508Curriculum unico
1020422SISTEMI OPERATIVI - II MODULO2º2ºITAInformatica33503Metodologico
10607006FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING1º2ºENGComputer Science - Informatica33508Curriculum unico
10607006FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING2º2ºENGComputer Science - Informatica33508Curriculum unico
10607006FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING1º2ºENGComputer Science - Informatica33508Curriculum unico
1020422SISTEMI OPERATIVI - II MODULO2º2ºITAInformatica33503Tecnologico
10620565QUANTUM COMPUTING1º1ºENGComputer Science - Informatica33508Curriculum unico