Senior Lecturer, School of Computing and Director of Academic Centre of Excellence in Cyber Security Research, University of Kent
Director of University of Kent's Academic Centre of Excellence in Cyber Security Research www.cybersec.kent.ac.uk.
Research in formal methods (new book: Refinement in Z and Object Z 2nd edition, Springer 2014).
senior lecturer, University of Kent
Director, Interdisciplinary Centre for Cyber Security Research