Dr Franco Raimondi
Senior Lecturer
Department: Business Information Systems
Contact
- Telephone: +44 (0)20 8411 6338
- E-mail: F.Raimondi@mdx.ac.uk
Qualifications
BSc, MSc, PhD
Research Interests
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.
Teaching Interests
I am module leader for BIS4610 (Information Security Management) and I also teach CTM4031 (Fundamentals of Computer Programming).
Biography
Personal Web Page:
http://www.cs.mdx.ac.uk/staffpages/f_raimondi/
Languages spoken
I speak Italian and a bit of French.
