The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
New: Introducing extra operations in refinement, just published in the journal Formal Aspects of Computing.
- Refinement in Z and Object-Z: Foundations and Advanced Applications by John Derrick and Eerke Boiten. (Springer FACIT series, ISBN 1-85233-245-X; new edition in preparation.) Reviews in STVR, in Journal of Logic and Computation.
I belong to the following research groups: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.
- cryptography and formal methods, 2005- (With EPSRC network support: CryptoForma 2009-2015)
- refinement of state based systems, 1996-
- A Constructive Framework for Partial Specification, EPSRC funded, 2000-2003
- OpenViews, EPSRC funded, 1998-2001
- Cross Viewpoint Consistency in ODP, EPSRC and BT funded, 1995-1997
PhD ResearchI 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 the principal investigator on the EPSRC Network of Excellence
- CryptoForma (2009-2012, 2012-2015)
I was a founding member of
- the EPSRC RefineNet (2004-2007).
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 of2010, 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.
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)
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).