Herman Geuvers

Herman Geuvers is a Professor of Computer Science (Theoretical Computer Science) at Radboud University Nijmegen, where he leads the Foundations group within the Institute for Computing and Information Science (ICIS), part of the Faculty of Science. He also holds a part-time professorship at the Technical University of Eindhoven's Faculty of Mathematics and Computer Science. His roles include chairing the Examination Board for Computing Science at Radboud and the board of the Institute for Programming Research and Algorithmics (IPA). He chairs the Steering Committee of the FSCD conference and is a member of the COST Action CA20111 on Formal Proofs.

Geuvers holds a Master's and PhD in Mathematics from Radboud University (1988 and 1993, respectively). He has led significant projects like the ARPA initiative to advance Proof Assistant usage and contributed to the EUTypes network. His teaching includes advanced courses on Type Theory, Semantics, Complexity, and Proving with Computer Assistance.

His research focuses on logic in computer science, type theory, lambda calculus, and formal methods. He emphasizes integrating proof assistants like Coq into mathematics and software verification. He has supervised numerous PhD students and remains active in organizing international conferences and workshops.