I joined Middlesex in 2009 and I am currently coordinating the Middlesex Applied Software Engineering research group.
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:http://www.rmnd.net.I am the First Year tutor for BSc Computer Science, where I also teach.
Boender, Jaap and Currie, Edward and Loomes, Martin J. and Primiero, Giuseppe and Raimondi, Franco (2016) Teaching functional patterns through robotic applications. In: The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, 02 Jun 2015, Sophia-Antipolis, France.
Cacciagrano, Diletta Romana and Corradini, Flavio and Culmone, Rosario and Gorogiannis, Nikos and Mostarda, Leonardo and Raimondi, Franco and Vannucchi, Claudia (2018) Analysis and verification of ECA rules in intelligent environments. Journal of Ambient Intelligence and Smart Environments, 10 (3). pp. 261-273. ISSN 1876-1364
Androutsopoulos, Kelly and Aristodemou, Leonidas and Boender, Jaap and Bottone, Michele and Currie, Edward and El-Aroussi, Inas and Fields, Bob and Gheri, Lorenzo and Gorogiannis, Nikos and Heeney, Michael and Micheletti, Matteo and Loomes, Martin J. and Margolis, Michael and Petridis, Miltos and Piermarteri, Andrea and Primiero, Giuseppe and Raimondi, Franco and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany.
Bottone, Michele and Raimondi, Franco and Primiero, Giuseppe (2018) Multi-agent based simulations of block-free distributed ledgers. In: The 32nd IEEE International Conference on Advanced Information Networking and Applications (IEEE AINA-2018), 16-18 May 2018, Pedagogical University of Cracow, Cracow, Poland. (Accepted/In press)
Bauereiß, Thomas and Pesenti Gritti, Armando and Popescu, Andrei and Raimondi, Franco (2018) CoSMed: a confidentiality-verified social media platform. Journal of Automated Reasoning, 61 (1-4). pp. 113-119. ISSN 0168-7433