I am a Professor of Computer Science at Middlesex University and an Amazon Scholar in the Prime Video Automated Reasoning Group. Before joining Middlesex in 2009, I was a post-doc in the Department of Computer Science at University College London (2006-2009). My PhD on “Verification of Multi-Agent System” started at Imperial College in 2001, then moved following my supervisor (Prof. Alessio Lomuscio, now back at Imperial): I was at King’s College London from 2002 to 2004, and finally UCL from 2004 to 2006. I joined Middlesex University in 2009.

In the past century I obtained my BSc+MSc in Physics from the University of Milan in Italy.