The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Latest paper: Sealed envelopes in Z (with Jeremy Jacob), in ABZ 2014, extended version.
Latest press piece: It's possible to write flaw-free software, so why don't we? (the UK government were told to use formal methods twice, they said "yes" but ...)
- 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/Mar 2014: in The Conversation on NHS data sharing and anonymisation and third party sharing and how it relates to data protection.
- Jan 2014: quoted in The Conversation on cyber warfare.
- 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, USA Today, etc.
- Mar 2014: in Law Society debate on Surveillance (this report contains charicature).
- Mar 2014: quoted in SC Magazine and again in April 2014.
- Apr 2014: in The Conversation on BYOD and FoI.
- Jun 2014: in The Conversation on software engineering perspectives on Google and NHS care.data.
- Jun 2014: interviewed for The Guardian on privacy and big data
- Jun 2014: on big data and healthcare, The Conversation, republished in Business Insider and in Raw Story.
- 5 more pieces since then, see here.
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 next international workshop of this network will be in Summer 2015; the network has been a partner in the FOSAD summer school since 2012.
- Founding member of the EPSRC RefineNet (2004-2007). This network organised the BCS-FACS Refinement Workshops. I will be co-chair of the 2015 edition, as for latest edition, co-located with IFM in Turku, June 2013, and 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 next edition of MPC (Mathematics of Program Construction), Koenigswinter, Germany, summer 2015 and the previous 8 editions: 2012, 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
- Professional, legal, ethical, social issues
- Software engineering
- Research methods and projects
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).