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 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)