Engelbert Hubbers

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