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

        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 (2017) CoSMed: a confidentiality-verified social media platform. Journal of Automated Reasoning . ISSN 0168-7433 (Published online first)

        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.

        CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees

        Bauereiß, Thomas and Pesenti Gritti, Armando and Popescu, Andrei and Raimondi, Franco (2017) CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. In: 38th IEEE Symposium on Security and Privacy, 22-26 May 2017, San Jose, CA, USA.

        CoSMed: a confidentiality-verified social media platform

        Bauereiß, Thomas and Pesenti Gritti, Armando and Popescu, Andrei and Raimondi, Franco (2016) CoSMed: a confidentiality-verified social media platform. In: ITP 2016: 7th International Conference on Interactive Theorem Proving, 22-25 Aug 2016, Nancy, France.

        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