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.