This commit was manufactured by cvs2svn to create branch 'moogle'.

[helm.git] / helm / mowgli / home / xml / people / nijmegen / geuvers.xml

diff --git a/helm/mowgli/home/xml/people/nijmegen/geuvers.xml b/helm/mowgli/home/xml/people/nijmegen/geuvers.xml
deleted file mode 100644 (file)
index 65337f6..0000000
--- a/helm/mowgli/home/xml/people/nijmegen/geuvers.xml
+++ /dev/null
@@ -1,51 +0,0 @@
-<?xml version="1.0"?>
-
-<!DOCTYPE person SYSTEM "../person.dtd">
-
-<person>
- <name>Herman</name>
- <surname>Geuvers</surname>
- <qualification>Prof.</qualification>
- <position>Associate Professor in Foundations of Mathematics and Computer
-  Science</position>
- <position>Responsible for the Nijmegen-Utrecht site of the EC Thematic
-  Network ``TYPES'' (Computer Assisted Reasoning Based on Type Theory),
-  IST-1999-29001</position>
- <position>President of the education committee of the Sub-faculty of
-  Computer Science at the University of Nijmegen</position>
- <position>Former member of the Management Board of the Dutch
-  research school IPA (Institute for Programming Research and
-  Algorithmics)</position>
- <position>Member of the Project Coordination Committee and of the
-  Project Exploitation Board of the European IST project MOWGLI</position>
- <position>Leader of the ``Requirement Analysis'' and ``Testing'' Work-Packages
-  of the European IST project MOWGLI</position>
- <e-mail>herman@cs.kun.nl</e-mail>
- <url>http://www.cs.kun.nl/~herman</url>
- <address>Faculteit NWI, KUN, Toernooiveld 1, 6525 ED Nijmegen, NL</address>
- <telephone>+31 243 652603</telephone>
- <curriculum>
-  <p>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.</p>
- </curriculum>
- <research-interests>
-  <p>The research interests of Herman
-     Geuvers are: Formalization of Mathematics, Interactive Theorem
-     Proving, Higher-order Logics, Communicating Formal Mathematics, Type
-     Theory and lambda-calculus. His recent scientific activities range from
-     the study of formal theories (especially typed lambda-calculi) to
-     doing large theory developments in theorem provers, notably the
-     formalization of the fundamental theorem of algebra in Coq.</p>
- </research-interests>
- <selected-publication file="others/mscs_gb"/>
- <selected-publication file="others/tphols2000_gwz"/>
- <selected-publication file="others/tcs2001_og"/>
- <selected-publication file="others/har_bg"/>
- <selected-publication file="others/jlp2001_scg"/>
-</person>