PAOLO ZULIANI

Quantum Computing

Lectures will start on Wednesday, September 23rd, 2026, and will be in room T1, building E, viale Regina Elena 295, Rome:

• Wednesdays: 15:00-17:00
• Fridays: 8:00 - 11:00

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

Prossimo appello: da definire.

Formal Methods for AI-based Systems Engineering

Next exam:

• by appointment

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)

===
For more news, papers, etc. please visit https://pzuliani.github.io/