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: Introducing extra operations in refinement, just published in the journal Formal Aspects of Computing.

Books

Research Interests

I belong to the following research groups:

I lead the Security research group and am the director of the interdisciplinary Cyber Security Research Centre.

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.

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 security, in particular 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; it was a partner in the 2012 FOSAD summer school. The next international workshop will be co-located with ESORICS at Royal Holloway, in September 2013.

I was a founding member of

This network met four times per year, and organised the BCS-FACS Refinement Workshops. I am co-chair of the next edition, co-located with IFM in Turku, June 2013 as previously for the 2011 edition at Limerick, 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 subsequent editions, including the last one: June 2012 in Pisa. This was held jointly with ABZ 2012 where I was on the PC for the Z track.

I was on the program committee for the last edition of

and the previous 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: 19/05/2013 03:18