3 <!DOCTYPE person SYSTEM "../person.dtd">
7 <surname>Geuvers</surname>
8 <qualification>Prof.</qualification>
9 <position>Associate Professor in Foundations of Mathematics and Computer
11 <position>Responsible for the Nijmegen-Utrecht site of the EC Thematic
12 Network ``TYPES'' (Computer Assisted Reasoning Based on Type Theory),
13 IST-1999-29001</position>
14 <position>President of the education committee of the Sub-faculty of
15 Computer Science at the University of Nijmegen</position>
16 <position>Former member of the Management Board of the Dutch
17 research school IPA (Institute for Programming Research and
18 Algorithmics)</position>
19 <position>Member of the Project Coordination Committee and of the
20 Project Exploitation Board of the European IST project MOWGLI</position>
21 <position>Leader of the ``Requirement Analysis'' and ``Testing'' Work-Packages
22 of the European IST project MOWGLI</position>
23 <e-mail>herman@cs.kun.nl</e-mail>
24 <url>http://www.cs.kun.nl/~herman</url>
25 <address>Faculteit NWI, KUN, Toernooiveld 1, 6525 ED Nijmegen, NL</address>
26 <telephone>+31 243 652603</telephone>
28 <p>Herman Geuvers studied Mathematics at the University of Nijmegen and
29 got his Ph.D. in Mathematics and Computer Science in 1993 at the same
30 University. In the same year he became assistant professor in computer
31 science at the Eindhoven University of Technology in the Formal
32 Methods group. From January 1st 2000, he is associate professor at the
33 Department of Computer Science of the University of Nijmegen in the
34 Foundations group. He is currently teaching in Formal Languages and
35 Computability and Type Theory.</p>
38 <p>The research interests of Herman
39 Geuvers are: Formalization of Mathematics, Interactive Theorem
40 Proving, Higher-order Logics, Communicating Formal Mathematics, Type
41 Theory and lambda-calculus. His recent scientific activities range from
42 the study of formal theories (especially typed lambda-calculi) to
43 doing large theory developments in theorem provers, notably the
44 formalization of the fundamental theorem of algebra in Coq.</p>
46 <selected-publication file="others/mscs_gb"/>
47 <selected-publication file="others/tphols2000_gwz"/>
48 <selected-publication file="others/tcs2001_og"/>
49 <selected-publication file="others/har_bg"/>
50 <selected-publication file="others/jlp2001_scg"/>