Professor of Cyber Security, 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).


  • 2003–present
    senior lecturer, University of Kent
  • 2012–present
    Director, Interdisciplinary Centre for Cyber Security Research


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


PhD, University of Nijmegen, 1992