BSc, MSc, PhD

My research interests include model checking for extensions of temporal logics, formal methods, multi-agent systems and modal logics. Please see my personal web page for an up-to-date list of publications and for my teaching material.

I am module leader for BIS4610 (Information Security Management) and I also teach CTM4031 (Fundamentals of Computer Programming).

Personal Web Page:

http://www.cs.mdx.ac.uk/staffpages/f_raimondi/

Languages spoken

I speak Italian and a bit of French.