Former PhD students


2016


2015


2014


2013


External PhD committee memberships


2015


2014

  • Dr. Gideon Dadik Bibu - Computational Verification of Security Requirements. Computer Science. University of Bath. (External examiner).

2013


2010





Martijn Warnier
Last modified: Wed Dec 14 08:09:23 CET 2016