Senior Lecturer, School of Computing and Director of Academic Centre of Excellence in Cyber Security Research at University of Kent

Director of University of Kent's Academic Centre of Excellence in Cyber Security Research www.cybersec.kent.ac.uk.
Research in formal methods (new book: Refinement in Z and Object Z 2nd edition, Springer 2014).

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