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).