Franco Raimondi

School of Engineering and Information Sciences
Middlesex University
The Burroughs
London NW4 4BTT
Tel. +44 (0)20 8411 6338 (int. 6338)
f.raimondi @ mdx.ac.uk
Office: T124

Research Interests: I am a Senior Lecturer in the School of Engineering and Information Sciences at Middlesex University. My research interests include:

Model Checking for extensions of temporal logics.
Multi-agent systems.
Modal logics.
Formal methods.

[Publications]
[Software]
[CV] (pdf)
[Misc]
[Teaching] Office hours: Tuesday 14.00 - 16.00 (please book an appointment).

"One cannot think well, love well, sleep well, if one has not dined well" (Virginia Woolf),
"Bella cosa l'esperienza: e' quella cosa che ti permette di riconoscere un errore quando lo rifai"