Initial commit of the XML/XSLT stuff.

[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
new file mode 100644 (file)
index 0000000..d0abc18
--- /dev/null
+++ b/helm/mowgli/home/xml/people/nijmegen/geuvers.xml
@@ -0,0 +1,47 @@
+<?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>
+ <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>