Prof. Herman Geuvers
e-mail: herman at cs dot kun dot nl
Home Page: http://www.cs.kun.nl/~herman
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.
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.