PAOLO ZULIANI

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.

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)