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

        Comparing approaches for model-checking strategies under imperfect information and fairness constraints

        Busard, Simon and Pecheur, Charles and Qu, Hongyang and Raimondi, Franco (2018) Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer . ISSN 1433-2779 (Published online first)

        Teaching functional patterns through robotic applications

        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.

        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)

        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

      Accept