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.

Activities besides teaching:

• Member of the Exam Committee (from January 2021)
• Member of the Program Committee (until January 2021)

Current research interests:

• Logic
• Coq
• Discrete Mathematics
• Electronic voting systems