Publications

My publications are available from the Computer Science department publications repository.

• Refinement in Z and Object-Z: Foundations and Advanced Applications by John Derrick and Eerke Boiten. (Springer FACIT series, ISBN 1-85233-245-X.) Reviews in STVR; in Journal of Logic and Computation.
• Mathematics of Program Construction 2002, proceedings edited jointly with Bernhard Möller.
• Integrated Formal Methods 2004, proceedings edited jointly with John Derrick and Graeme Smith.

Research Interests

I belong to the following research groups:

• Information Systems Security Group
• Programming Languages and Systems Group

My main research interests are: calculi for program derivation; refinement; formal methods, in particular Z; viewpoint specification; cryptography. See below for publications, including a book on refinement in Z.

My recent collaborators have been John Derrick (now at Sheffield), Dan Grundy, Gift Nuka and Gerhard Schellhorn.

Research Projects

• refinement of state based systems, 1996-
• cryptography and formal methods, 2005- (Now with EPSRC network support: CryptoForma)
• A Constructive Framework for Partial Specification, EPSRC, 2000-2003
• OpenViews, EPSRC, 1998-2001
• Cross Viewpoint Consistency in ODP, EPSRC, 1995-1997

PhD Research

I am willing to supervise research in many areas of formal methods, particularly refinement and application to cryptography.
See List of project suggestions.

Networks and Conferences

I am the principal investigator on the EPSRC Network of Excellence

• CryptoForma (2009-2012)

on the application of formal methods to cryptography. New: First CryptoForma workshop, Paris, 25 May 2010.

I was a founding member of

• the EPSRC RefineNet (2004-2007).

This network met four times per year, and organised the BCS-FACS Refinement Workshops. I was co-chair of the 2009 edition (Eindhoven), as in 2008 (Turku), 2007 (Oxford) , 2006 (Macao), 2005 (Surrey), and 2002 (Copenhagen). The next edition is planned for 2011, possibly co-located with FM 2011 in Limerick.

I organised the 2004 Integrated Formal Methods conference, and was on the PC for subsequent editions (coming up: IFM 2010 in Nancy) and will be for

• ABZ 2010
• MPC 2010

Previously, I was on the PC for the last 6 editions of MPC (2008, 2006, 2004, chair in 2002, 2000, 1998 in Marstrand), FMOODS, for Teaching Formal Methods 2009 and FM-Ed 2006, ICFEM 2005, CSDUML 2004, FME 2001, IFIP TC2 Generic Programming, and the ICSE Workshop on Living With Inconsistency.

• CV

• Talks and draft papers