search button

    Close window

      Close window

      Contact
      Share
      Section navigation

      Prof Franco Raimondi

      ROLE: Professor of Computer Science
      SCHOOL: Science & Technology
      DEPARTMENT: Computer Science
      TELEPHONE: +44 (0)20 8411 6338
      EMAIL: F.Raimondi@mdx.ac.uk
      1. Biography &
        Qualifications
      2. Learning &
        Teaching Interests
      3. Research Outputs &
        Interests
      4. Funded Research &
        Knowledge Exchange Projects
      5. Engagement &
        Impact

      • Biography &
        Qualifications

        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.


        Languages Spoken

      • Learning &
        Teaching Interests

      • Research Outputs &
        Interests

        Publication Feed

        Analysis and verification of ECA rules in intelligent environments

        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

        MIRTO: an open-source robotic platform for education

        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.

        Multi-agent based simulations of block-free distributed ledgers

        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)

        CoSMed: a confidentiality-verified social media platform

        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

        A novel symbolic approach to verifying epistemic properties of programs

        Gorogiannis, Nikos and Raimondi, Franco and Boureanu, Ioana (2017) A novel symbolic approach to verifying epistemic properties of programs. In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 19-25 August 2017, Melbourne, Australia.

        View more publications

      • Funded Research &
        Knowledge Exchange Projects

      • Engagement &
        Impact

      In this section

      Back to top

      We use Cookies

      View our Privacy and Cookie policy

      Continue