The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Latest journal paper: Introducing extra operations in refinement, online available 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.) Reviews (of 1st edition) in STVR, in Journal of Logic and Computation.
- Nov 2012: interview on Radio Kent on electronic banking and security.
- Aug 2013: first Kent Cyber Security survey with Julio Hernandez-Castro, reported in most of the national press (e.g. Guardian and Independent) and across the web.
- Sep 2013: Comment piece on iPhone fingerprinting with Farzin Deravi.
- Sep 2013: comments on Santander cyber robbery in the Guardian.
- Sep 2013: Open Letter by UK cryptography and security researchers (any overlap with CryptoForma coincidental) gets a mention in the Guardian.
- Sep 2013: on iPhone fingerprint sensor hack in The Conversation and Scientific American.
- Oct 2013: on cyber bank robberies in The Conversation.
- Nov 2013: on internet search engines in The Conversation, and again.
- Dec 2013: on Snowden revelations in The Conversation.
- Dec 2013: on the Cyber Security Strategy update, in The Conversation and TechDirt.
- Dec 2013: quoted in Pando on encryption post-Snowden and the NSA report.
- Dec 2013: on where censorship might go next in The Conversation with Julio Hernandez-Castro.
- Jan/Feb 2014: in The Conversation on NHS data sharing and anonymisation.
- Feb 2014: quoted in the Guardian on Facebook and privacy.
- Feb 2014: 2nd Kent Cyber Security survey with Hernandez-Castro and Barnoux. News release, Full preliminary report, coverage so far in The Register, Techworld, AOL, the Cyberwire, phys.org.
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; security and cryptography. Recently I have also been looking at wider areas of security and privacy.
- 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 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
- Member of the Editorial Board of the journal Formal Aspects of Computing.
- Principal investigator on the EPSRC Network of Excellence CryptoForma (2009-2012, 2012-2015) on the application of formal methods to cryptography. The last international workshop of this network was at FM 2011 in Limerick, June 2011 and the next one is with ESORICS at Royal Holloway in September 2013; the network was a partner in the 2012 and 2013 FOSAD summer school.
- Founding member of the EPSRC RefineNet (2004-2007). This network organised the BCS-FACS Refinement Workshops. I was co-chair of the latest edition, co-located with IFM in Turku, June 2013 as for the preceding 7 editions, see the workshop history.
- PC member for ABZ 2014 and for some previous editions.
- PC member for Integrated Formal Methods 2014, a conference in a series of which I organised the 2004 edition, and was on the PC for all but one editions since.
- On the program committee for the last edition of MPC (Mathematics of Program Construction, Madrid, June 2012, and the previous 7 editions: 2010, 2008, 2006, 2004, chair in 2002, 2000, 1998 in Marstrand.
- Panel member for the EAPLS best PhD thesis award.
- Committee member of BCS-FACS, the Formal Aspects of Computing Science specialist group of the British Computer Society.
- PC member for FME 2001 and FM 2011, 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.
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)
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).