Professor John Derrick

Professor of Computer Science
Acting Vice-President and Head of Faculty of Science

Telephone: +44 (0) 114 222 1849

Member of the Verification and Testing research groups
Personal website:

ORCID | Google scholar

Selected publications | All publications

PA: Sophie Jacob
T: + 44 (0)114 222 9762

Image to be used on John Derricks webpages



John graduated with a degree in Mathematics from the University of Nottingham, before taking his DPhil in Oxford. From 1990 to 2005 he worked at the University of Kent at Canterbury, moving to Sheffield in 2005. He was Head of Department between 2009 and 2015. In 2015 he was appointed to the post of Deputy PVC for Research and Innovation.

Other Professional Activities and Achievements

  • Chair of the BCS FACS sub-group on refinement
  • Running (with Eerke Boiten) the series of International Refinement Workshops
  • Programme Committee member for conferences such as IFM, ABZ, MBT, AVOCS, ICTSS, MoDeVVA
  • Conference Chair for ABZ/iFM 2012, FORTE/PSTV 2007, iFM 2004, FMOODS 1997
  • Until recently I was the Vice-chair of IFIP Working Group 6.1 (Architectures and Protocols for Distributed Systems)
  • Guest Editor of numerous journal editions (SCP, FACS, SoSyM, IEEE Trans. on Soft. Eng., STVR etc.)
  • Recent books include 2nd edition of Refinement in Z and Object-Z: Foundations and Advanced Applications (with Eerke Boiten)


Specification, refinement and testing using formal methods:

  • Refinement in state-based systems.
  • Integrated formal methods.
  • Viewpoint specification using formal methods.
  • Model checking Erlang code.
  • Testing of formal specifications.
  • Process algebraic refinement.
  • Frameworks for distributed systems: architectural semantics, specification templates, object orientation, interfaces.

If you are interested in doing a PhD with Prof. John Derrick then please take a look at the available research topics. 


Current grants

Previous grants