Notizie
Formal Methods for AI-based Systems Engineering
Next exam on 27/06/2025 at 9:00, room T1, building E, viale Regina Elena 295, Roma.
Sistemi Operativi II Modulo (canale A-L e Unitelma)
Appelli ordinari:
- 10/07/2025: ore 9:00, aula 16, via Tiburtina 205, Roma.
- 04/09/2025
Ricevimento
Su appuntamento via email.
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 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)