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 Computer Science department publications repository.

Research Interests

I belong to the following research groups:

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; cryptography.

My recent collaborators have been John Derrick, Dan Grundy, Gift Nuka, Alex Alferovs and Gerhard Schellhorn.

Research Projects

PhD Research

I am willing to supervise research in many areas of formal methods, particularly refinement and application to cryptography.
See List of project suggestions.

Networks, Conferences, Journals

I am a member of the Editorial Board of the journal Formal Aspects of Computing.

I am the principal investigator on the EPSRC Network of Excellence

on the application of formal methods to cryptography. The last international workshop of this network was at FM 2011 in Limerick, June 2011.

I was a founding member of

This network met four times per year, and organised the BCS-FACS Refinement Workshops. I was co-chair of the 2011 edition at FM 2011 in Limerick, as previously for the 2009 edition (Eindhoven), 2008 (Turku), 2007 (Oxford) , 2006 (Macao), 2005 (Surrey), and 2002 (Copenhagen).

I organised the 2004 Integrated Formal Methods conference, and have been on the PC for all subsequent editions, including the latest one: June 2012 in Pisa. This is held jointly with ABZ 2012 where I am on the PC for the Z track.

I am on the program committee for the next edition of

and was on the PC for the last 7 editions: 2010, 2008, 2006, 2004, chair in 2002, 2000, 1998 in Marstrand).

I am on the panel for the EAPLS best PhD thesis award.

I was also on the PC for FME 2001 and FM 2011, ABZ 2010, several editions of FMOODS, Teaching Formal Methods 2009 and FM-Ed 2006, ICFEM 2005, CSDUML 2004, IFIP TC2 Generic Programming, and the ICSE Workshop on Living With Inconsistency.

Teaching

At the moment I teach 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).

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

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

Last Updated: 08/02/2012 03:07