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 www.cybersec.kent.ac.uk.
Research in formal methods (Refinement in Z and Object Z 2nd edition, Springer 2014).

Experience

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

Education

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

Professional Memberships

  • BCS
  • HEA
  • EAPLS
  • FME

Honours

PhD, University of Nijmegen, 1992