search button

    Close window

      Close window

      myUniHub MDXSU
      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

        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 .

        Certified Complexity (CerCo)

        Amadio, Roberto M. and Ayache, Nicolas and Bobot, Francois and Boender, Jaap and Campbell, Brian and Garnier, Ilias and Madet, Antoine and McKinna, James and Mulligan, Dominic P. and Piccolo, Mauro and Pollack, Randy and Régis-Gianas, Yann and Sacerdoti Coen, Claudio and Stark, Ian and Tranquilli, Paolo (2014) Certified Complexity (CerCo). In: Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013), 29-31 Aug 2013, Bertinoro, Italy.

        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