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
Research in formal methods (new book: Refinement in Z and Object Z 2nd edition, Springer 2013).


  • 2003–present
    senior lecturer, University of Kent
  • 2012–present
    Director, Interdisciplinary Centre for Cyber Security Research


  • 2001 
    University of Kent, PGCHE
  • 1992 
    University of Nijmegen, NL, dr.
  • 1988 
    University of Twente, NL, ir.


PhD, University of Nijmegen, 1992

Contact Eerke for

  • General
  • Media request
  • Speaking request
  • Consulting / Advising
  • Research collaboration
  • Research supervision