Professor of Cybersecurity, School of Computer Science and Informatics, De Montfort University

Previously director of University of Kent's Academic Centre of Excellence in Cyber Security Research
Research in formal methods (Refinement in Z and Object Z 2nd edition, Springer 2014).


  • 2017–present
    Professor, De Montfort University
  • 2012–2017
    Director of Cyber Security Centre, University of Kent
  • 2004–2016
    Senior lecturer, University of Kent


  • 2001 
    University of Kent, PGCHE
  • 1992 
    University of Nijmegen, NL, dr.
  • 1988 
    University of Twente, NL, ir.

Professional Memberships

  • BCS
  • HEA
  • FME


PhD, University of Nijmegen, 1992