search button

    Close window

      Close window

      Contact
      Share
      Section navigation

      Dr Jaap Boender

      ROLE: Senior Lecturer in Foundations of Computing
      SCHOOL: Science & Technology
      DEPARTMENT: Computer Science
      TELEPHONE: +44 (0)20 8411 3645
      EMAIL: J.Boender@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 work as a Senior Lecturer in Foundations of Computing in the School of Science and Technology.

        Qualifications

        • Doctorat en informatique, Université Paris Diderot, France (equivalent to a PhD)
        • MSc in Computer Science, Radboud Universiteit Nijmegen, Netherlands

        More information can be found on my personal website, at http://www.kerguelen.org

        You can also follow me on Twitter: @semprini_


        Languages Spoken

        • Dutch (native tongue)
        • English
        • French
        • Italian
        • German
        • Polish

      • Learning &
        Teaching Interests

        I'm the module leader for CSD3600 (Open Source Software), where we go into the specific culture and development model for FLOSS (Free/Libre and Open Source Software). I'm also involved in teaching the integrated first year for the BSc in Computer Science.

      • Research Outputs &
        Interests

        I'm interested in formal methods, interactive theorem proving, and open source software.

        Publication Feed

        MIRTO: an open-source robotic platform for education

        Androutsopoulos, Kelly and Aristodemou, Leonidas and Boender, Jaap and Bottone, Michele and Currie, Ed 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.

        Managing software uninstall with negative trust

        Primiero, Giuseppe and Boender, Jaap (2017) Managing software uninstall with negative trust. In: 11th IFIP WG 11.11 International Conference, IFIPTM 2017, 12-16 Jun 2017, Gothenburg, Sweden.

        Minimizing transitive trust threats in software management systems

        Boender, Jaap and Primiero, Giuseppe and Raimondi, Franco (2015) Minimizing transitive trust threats in software management systems. In: 13th Annual Conference on Privacy, Security and Trust (PST 2015), 21-23 Jul 2015, Izmir, Turkey.

        Formalization of quantum protocols using Coq

        Boender, Jaap and Kammueller, Florian and Nagarajan, Rajagopal (2015) Formalization of quantum protocols using Coq. In: The 12th International Workshop on Quantum Physics and Logic (QPL 2015), 15-17 Jul 2015, Oxford, United Kingdom.

        Formal verification of a theory of packages

        Boender, Jaap (2011) Formal verification of a theory of packages. ECEASST, 48 .

        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