Sections

Services

Information

US United States

Eerke Boiten

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