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: Tue Sep 4 07:37:43 CEST 2018