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 <e-mail>herman@cs.kun.nl</e-mail>
20 <url>http://www.cs.kun.nl/~herman</url>
21 <address>Faculteit NWI, KUN, Toernooiveld 1, 6525 ED Nijmegen, NL</address>
22 <telephone>+31 243 652603</telephone>
24 <p>Herman Geuvers studied Mathematics at the University of Nijmegen and
25 got his Ph.D. in Mathematics and Computer Science in 1993 at the same
26 University. In the same year he became assistant professor in computer
27 science at the Eindhoven University of Technology in the Formal
28 Methods group. From January 1st 2000, he is associate professor at the
29 Department of Computer Science of the University of Nijmegen in the
30 Foundations group. He is currently teaching in Formal Languages and
31 Computability and Type Theory.</p>
34 <p>The research interests of Herman
35 Geuvers are: Formalization of Mathematics, Interactive Theorem
36 Proving, Higher-order Logics, Communicating Formal Mathematics, Type
37 Theory and lambda-calculus. His recent scientific activities range from
38 the study of formal theories (especially typed lambda-calculi) to
39 doing large theory developments in theorem provers, notably the
40 formalization of the fundamental theorem of algebra in Coq.</p>
42 <selected-publication file="others/mscs_gb"/>
43 <selected-publication file="others/tphols2000_gwz"/>
44 <selected-publication file="others/tcs2001_og"/>
45 <selected-publication file="others/har_bg"/>
46 <selected-publication file="others/jlp2001_scg"/>