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
My master courses are part of the TRU/e Master in Cyber Security, and used to be part of the Kerckhoffs Master in Computer Security.