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: 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, and info on media attention for my research.