About me

I am a Professor of Computer Science at the Gran Sasso Science Institute, L’Aquila, Italy.

Previously, I was Head of Department of Computer Science at Middlesex University, and an Amazon Scholar for Prime Video – Automated Reasoning team.

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

In my work and research I apply logic-based methods to the formal verification of complex and critical systems.