Herman Geuvers

Pronouns: he/him

Full Professor, Institute for Computing and Information Sciences, Radboud University Nijmegen, Radboud University

  • Joined March 2025

Names

Herman Geuvers (Preferred)

Emails

****@cs.ru.nl (Confirmed)

Personal Links

Career & Education History

Full Professor
Institute for Computing and Information Sciences, Radboud University Nijmegen, Radboud University (cs.ru.nl)
2007 – Present
 
Associate Professor
Institute for Computing and Information Sciences, Radboud University Nijmegen, Radboud University (cs.ru.nl)
2000 – 2007
 
Assistant Professor
Eindhoven University of Technology (tue.nl)
1993 – 1999
 

Advisors, Relations & Conflicts

PhD Advisor
Henk Barendregt
1989 – 1993
 

Expertise

Logic in Computer Science
Present
 
Theoretical Computer Science
Present
 
Type theory and lambda calculus
Present
 
Proof Assistants
Present