IST Logo Small

Prof. Herman Geuvers

e-mail: herman at cs dot kun dot nl

Home Page:

Address: Faculteit NWI, KUN, Toernooiveld 1, 6525 ED Nijmegen, NL

Telephone number: +31 243 652603

Short Curriculum Vitae:

Herman Geuvers studied Mathematics at the University of Nijmegen and got his Ph.D. in Mathematics and Computer Science in 1993 at the same University. In the same year he became assistant professor in computer science at the Eindhoven University of Technology in the Formal Methods group. From January 1st 2000, he is associate professor at the Department of Computer Science of the University of Nijmegen in the Foundations group. He is currently teaching in Formal Languages and Computability and Type Theory.

Research Interests:

The research interests of Herman Geuvers are: Formalization of Mathematics, Interactive Theorem Proving, Higher-order Logics, Communicating Formal Mathematics, Type Theory and lambda-calculus. His recent scientific activities range from the study of formal theories (especially typed lambda-calculi) to doing large theory developments in theorem provers, notably the formalization of the fundamental theorem of algebra in Coq.

Selected Publications:

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:31 CET 2007.
IST Logo Small