helm/mowgli/home/xml/people/nijmegen/geuvers.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE person SYSTEM "../person.dtd">
   4
   5 <person>
   6  <name>Herman</name>
   7  <surname>Geuvers</surname>
   8  <qualification>Prof.</qualification>
   9  <position>Associate Professor in Foundations of Mathematics and Computer
  10   Science</position>
  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>
  27  <curriculum>
  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>
  36  </curriculum>
  37  <research-interests>
  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>
  45  </research-interests>
  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"/>
  51 </person>