Director of University of Kent's Cyber Security Centre www.cybersec.kent.ac.uk.
Research in formal methods (new book: Refinement in Z and Object Z 2nd edition, Springer 2013).
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