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 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 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.