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).
senior lecturer, University of Kent
Director, Interdisciplinary Centre for Cyber Security Research
University of Kent, PGCHE
University of Nijmegen, NL, dr.
University of Twente, NL, ir.
PhD, University of Nijmegen, 1992