X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Fnijmegen%2Fgeuvers.xml;fp=helm%2Fwww%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Fnijmegen%2Fgeuvers.xml;h=65337f6bcdb27eae1a1c16c28d570b412db58963;hb=9a9c95ebabbb1d4d7dce627ed1baea130ea98766;hp=0000000000000000000000000000000000000000;hpb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;p=helm.git

diff --git a/helm/www/mowgli/home/xml/people/nijmegen/geuvers.xml b/helm/www/mowgli/home/xml/people/nijmegen/geuvers.xml
new file mode 100644
index 000000000..65337f6bc
--- /dev/null
+++ b/helm/www/mowgli/home/xml/people/nijmegen/geuvers.xml
@@ -0,0 +1,51 @@
+<?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>