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  <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>
  23  <curriculum>
  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>
  32  </curriculum>
  33  <research-interests>
  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>
  41  </research-interests>
  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"/>
  47 </person>