Hans Zantema
Hans Zantema (Goingarijp,1956-Eindhoven, 2025[1]) was 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.[2][3]
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"[4]
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.
Van 2007 tot 2022 was hij deeltijdhoogleraar aan de Radboud Universiteit in Nijmegen.[1] 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,[5] namelijk of het herschrijfsysteem 0011 -> 111000 eindigt.
Zantema heeft uitgebreid gewerkt aan de theorie en visualisatie van recursief gedefinieerde 'streams', rijen van symbolen. Dit is beschreven in het boek Spelen met oneindigheid.[6]
Externe link
- De webpagina van Hans Zantema op tue.nl
- Dit artikel of een eerdere versie ervan is een (gedeeltelijke) vertaling van het artikel Hans_Zantema op de Engelstalige Wikipedia, dat onder de licentie Creative Commons Naamsvermelding/Gelijk delen valt. Zie de bewerkingsgeschiedenis aldaar.
- ↑ a b (en) In Memoriam Hans Zantema | Radboud University. www.ru.nl (31 januari 2025). Geraadpleegd op 12 februari 2025.
- ↑ Arts, Thomas, and Jürgen Giesl. "Termination of term rewriting using dependency pairs." Theoretical Computer Science 236.1 (2000): 133-178.
- ↑ Ohlebusch, Enno. Advanced topics in term rewriting. Springer, 2002.
- ↑ Hans Zantema bij het Mathematics Genealogy Project
- ↑ 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.
- ↑ Hans Zantema. Spelen met oneindigheid. Uitgeverij Noordboek. 2023.