Associate professor in the
Digital Security (DS) group
Institute for Computing and Information Sciences
Radboud University Nijmegen
ResearchMy papers and some slides of talks are available on-line, and pointers to media attention.
My research interest are formal methods and security, and ideally combining the two, though much of my research into security is more applied. In more detail, my research interests are
Master courses I teach are part of the Kerckhoffs Master in Computer Security, and starting autumn 2015 they will be part of the TRU/e Master in Cyber Security.