Prof Franco Raimondi

Head of Department - Computer Science

Franco Raimondi

  • School Faculty of Science and Technology

  • Department Computer Science

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