Erik Poll

Associate professor in the Digital Security (DS) group at the Institute for Computing and Information Sciences of the Radboud University Nijmegen.

Address and contact information


My papers and some slides of talks are available on-line, and pointers to media attention. [JML logo]

My backgroud is in formal methods and over the years I have been looking into applying such methods to analyse and improve security. In more detail, my main research interests are


Kerckhoffs Institute We started a Bachelor program Cyber security in autumn of 2013.

Master courses I teach are part of the Kerckhoffs Master in Computer Security.


Program committees, events, etc.