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

Experience

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

Education

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

Honours

PhD, University of Nijmegen, 1992

Contact Eerke for

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