Former PhD students


2019


2016


2015


2014


2013


External PhD committee memberships


2019


2019


2015


2014

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

2013


2010





Martijn Warnier
Last modified: Thu Feb 4 08:45:33 CET 2021