Senior Lecturer, School of Computing and Director of Interdisciplinary Cyber Security Centre at University of Kent
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).