Hans Zantema
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.

Biografie 
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" 

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, namelijk eindigt het herschrijfsysteem 0011 -> 111000.

Referenties

Externe link 

 De webpagina van Hans Zantema op tue.nl 
Hoogleraar aan de Radboud Universiteit Nijmegen
Hoogleraar aan de Technische Universiteit Eindhoven
Nederlands wiskundige
Nederlands informaticus
21e-eeuws wiskundige