Broken links across staff profiles

Due to an ongoing technical issue, some links to publications and other resources in staff profiles may not always work. We apologise for the inconvenience and are working on a solution.

Prof Franco Raimondi

Visiting Researcher

Franco Raimondi

  • School Faculty of Science and Technology

  • Department Computer Science

  • Location London

Research activities

In my research I apply logic-based methods to the formal verification of complex and critical systems. I have a strong background in model checking, in particular for extensions of temporal logic and for multi-agent systems. I usually try to implement tools to support my research, making them available.


Current Teaching

I teach CST3110, Testing and Verification.


Biography

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.

Publications

View publications