Theses


2015

  • (). Machine Checkable Design Patterns using Dependent Types and Domain Specific Goal-Oriented Modelling Languages  (PhD Thesis). School of Computer Science, University of St Andrews, St Andrews.

2011

  • (). Data Protection and the Cloud  (Master Thesis). Institute for Computer; Information Science, Radboud Universiteit Nijmegen, Nijmegen.

2008

  • (). Searching for Efficient Permutation Codes  (Bachelor Thesis). School of Computer Science, University of St Andrews, St Andrews.