School of Computing

Eerke Boiten

Senior Lecturer

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

Publications

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

New: 2nd edition of Refinement in Z and Object-Z out electronically and as a hardback.

Latest paper: Sealed envelopes in Z (with Jeremy Jacob), to appear in ABZ 2014, extended version.

Latest press piece: NHS must think like Google to make data project work (on care.data as well as Google and the right to be forgotten, in The Conversation).

Books

Media engagements

Blog

(started November 2013)

Research Interests

I belong to the following research groups:

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

My main research interests are 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; security and cryptography. Recently 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, 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

Various

Teaching

In recent years I have taught in a few areas:

  • Security and cryptography (CO634, CO899)
  • Software engineering (CO531, CO886)
  • Professional issues (CO531, CO643, CO834)
  • Research methods and projects (CO885, CO880, CO531)
I manage to sneak in a bit on my favourite area (formal methods) in CO899 and through the occasional comment in CO531 and elsewhere. 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: chair of governors 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: 16/09/2014