Since 2001 I have been working in several positions within the Institute for Computing and Information Sciences of the Radboud University in Nijmegen. Currently I am employed as a lecturer within the Digital Security Group.
As a lecturer my time is almost fully devoted to teaching, which automatically implies that my research is typically limited to supervision of thesis projects.
Current activities besides teaching:
- Member of the Program Committee
- Member of the Exam Committee
Current research interests:
- Logic
- Coq
- Discrete Mathematics
- Electronic voting systems