School of Computing

Eerke Boiten


Photo of EA Boiten, if available
  • Room S112
    School of Computing
    University of Kent,
    CT2 7NF


My publications are available from the University of Kent's Academic Repository.

Talk: 9 Easy Squares: Framing Data Privacy Issues, TRILCon 2016: video. Slides and 10 minute ThinkKent version.

Paper: Diversity and Adjudication, in Journal of Logical and Algebraic Methods in Programming (Jose Nuno Oliveira Festschrift).

Latest press: is dead, long live in The Conversation.
Quoted in Le Monde on Google Deepmind and health data. (See also The Conversation).
Wired UK on Panama Papers. (More detailed comments in my blog).


Media engagements (selected)


Research Interests

I belong to the following research groups:

I lead the Security Group and am the director of the interdisciplinary

My main research interest for the first 25 years of my career has been in using mathematics and logic to ensure that computer programs do what they are supposed to do. This includes: calculi for program derivation; refinement; formal methods, in particular Z; viewpoint specification; and in recent years particularly security and cryptography. I have also been looking at wider areas of security and privacy.

My collaborators in recent years have been John Derrick, Julio Hernandez-Castro, Jeremy Jacob, Jaime Gaspar, Dan Grundy, Gift Nuka, David Chadwick and Gerhard Schellhorn.

Research Projects

PhD Research

I am willing to supervise research in formal aspects of security and cryptography, privacy, as well as broader areas of formal methods, particularly refinement.
See List of project suggestions.

Networks, Conferences, Journals



In recent years I have taught in a few areas:

  • Security and cryptography
  • Professional, legal, ethical, social issues
  • Software engineering
  • Research methods and projects
I manage to sneak in a bit on my favourite area (formal methods) now and again. I have taught more formal methods, and many other topics in the past - most of these (logic, functional programming, theory of programming languages, parsing) I would love to teach again, but not packet formats for network protocol standards please.

Short history

Born in the Netherlands (studied at University of Twente and Radboud University Nijmegen), moved to Canterbury with my wife Gwen in 1995 for a temporary research job but stuck around. Four children, living in Trowbridge (Wiltshire) since 2006, commuting to Kent for 2 days every term week and working from home the rest of the time.

Outside interests: governor at local secondary; cooking (not just using quince); listening to music; playing bridge (never got round to reviving the UoK bridge club, it may well be too late now!); running (typically 10-15k with an occasional half marathon).

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 25/10/2016