Radboud Universiteit Nijmegen
Dr. Herman Geuvers benoemd tot hoogleraar computer-ondersteund redeneren
Dr. J.H. (Herman) Geuvers (1964) is met ingang van 1 augustus 2006
benoemd tot hoogleraar bij de Faculteit der Natuurwetenschappen,
Wiskunde en Informatica van de Radboud Universiteit Nijmegen met als
leeropdracht Computer-ondersteund Redeneren. Het onderzoek is
ondergebracht in het Institute for Computing and Information
Sciences.
Herman Geuvers studeerde wiskunde aan de Radboud Universiteit en
behaalde in 1988 cum laude het doctoraalexamen met specialisaties in
de Logica en Grondslagen van de Wiskunde. In 1993 volgde de promotie
te Nijmegen. Van augustus 1993 - december 1999 werkte dr. Geuvers als
universitair docent aan de Faculteit Wiskunde en Informatica in de
groep Formele Methoden van de TU Eindhoven. Sinds 2000 is hij
universitair hoofddocent bij de Faculteit NWI van de Radboud
Universiteit.