The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Paper: Sealed envelopes in Z (with Jeremy Jacob), in ABZ 2014, extended version.
- 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.
Media engagements (selected)
- 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: comments on Santander cyber robbery in the Guardian.
- Since Sep 2013, 23 comment pieces in The Conversation, on various topics such as health data, UK government internet policies, cyber crime and surveillance.
- Sep 2013: Open Letter by UK cryptography and security researchers gets a mention in the Guardian.
- Sep 2013: on iPhone fingerprint sensor hack in Scientific American.
- 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.
- 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 in The Register, Techworld, AOL, the Cyberwire, phys.org, USA Today, etc.
- Mar 2014: in Law Society debate on Surveillance (this report contains charicature).
- Since Mar 2014: regularly quoted in SC Magazine, e.g. on cyber security education and security backdoors.
- 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.
- Jul 2014: with Julio Hernandez-Castro on cyber crime and Tor anonymity, in The Conversation and widely republished, cited in Wikipedia.
- Feb 2015: on Google and the "right to be forgotten", in Wired.
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).