Hans Zantema

Uit Wikipedia, de vrije encyclopedie
Naar navigatie springen Naar zoeken springen

Hans Zantema (Goingarijp,1956) is een Nederlandse wiskundige en computerwetenschapper en hoogleraar aan de Radboud Universiteit en de Technische Universiteit Eindhoven. Hij is met name bekend van zijn werk over terminatie-analyse.[1][2]

Biografie[bewerken]

Zantema promoveerde op 16 november 1983 op de algebraïsche getaltheorie aan de Universiteit van Amsterdam onder supervisie van Hendrik Lenstra Jr. met zijn proefschrift "Integer Valued Polynomials in Algebraic Number Theory"[3]

Na zijn afstuderen werkte Zantema enkele jaren in het bedrijfsleven, waarna hij overstapte naar de informatica: van 1987 tot 2000 aan de Universiteit Utrecht en sinds 2000 aan de Technische Universiteit Eindhoven.

Sinds 2007 is hij deeltijdhoogleraar aan de Radboud Universiteit in Nijmegen. Zijn belangrijkste prestaties zijn in termherschrijfsystemen, in het bijzonder in het automatisch bewijzen van beëindiging van herschrijfsystemen. Zijn naam is verbonden aan het probleem van Zantema, [4] namelijk eindigt het herschrijfsysteem 0011 -> 111000.

Referenties[bewerken]

  1. Arts, Thomas, and Jürgen Giesl. "Termination of term rewriting using dependency pairs." Theoretical Computer Science 236.1 (2000): 133-178.
  2. Ohlebusch, Enno. Advanced topics in term rewriting. Springer, 2002.
  3. Hans Zantema bij het Mathematics Genealogy Project
  4. Thierry Coquand and Henrik Persson. A proof-theoretical investigation of Zantema's problem. Computer Science Logic. Lecture Notes in Computer Science Volume 1414, pp. 177-188, Springer, 1988.

Externe links[bewerken]