Franco Raimondi

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.

My new book (in Italian)

Research Interests

My interests are mostly in multi-agent systems, (symbolic) AI, Software Engineering, V&V. In my research, I tend to apply logic-based methods to the formal verification of complex and critical systems.

Publications

You can find the list of my publications:

• Google Scholar

• DBLP

Feel free to contact me if you have problems accessing them.

Misc

I enjoy mountains, cycling, running, and outdoors activities in general. Drop me an email if you want to join me. If you are curious, check my Strava profile.