[Frames] 
Prof. Herman Geuvers
email: 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. Research Interests:The research interests of Herman Geuvers are: Formalization of Mathematics, Interactive Theorem Proving, Higherorder Logics, Communicating Formal Mathematics, Type Theory and lambdacalculus. His recent scientific activities range from the study of formal theories (especially typed lambdacalculi) to doing large theory developments in theorem provers, notably the formalization of the fundamental theorem of algebra in Coq. Selected Publications:
