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 research interests include
security - especially software security, (implementations of) security protocols, smartcards, JavaCard,
and smartcard applications such as electronic passports and EMV),
formal specification and verification of programs
(for object-oriented languages, especially for
Java and using JML),
programming language theory,
and type theory.
My papers and some slides of talks are available on-line, and info on media attention for my research.