Former PhD candidates


2023


2022


2019


2016


2015


2014


2013


External PhD committee memberships


2025

2024


2023


2022


2021


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: Friday 22 September 2023 8:43:03