[Erik]

Erik Poll

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

We currently have a vacancy for a PhD student.

Address and contact information

Research

[JML logo] My research interests: programming language theory, formal specification and verification of programs (for object-oriented languages, especially for Java and using JML), security (especially software security, smartcards, and smartcard applications such as electronic passports), and type theory.

My papers and some slides of talks are available on-line, as info on media attention for my research.

Teaching

Master courses I teach are part of the MSc Programme in Computing Security of the Kerckhoffs Institute

Organisations

Program committees, events, etc.

Projects