Hans Zantema
Hans Zantema (1956) is a Dutch mathematician and computer scientist, and professor at Radboud University in Nijmegen, known for his work on termination analysis.[1][2]
Biography
Born in Goingarijp, The Netherlands, Zantema received his PhD in algebraic number theory in 1983 at the University of Amsterdam under supervision of Hendrik Lenstra Jr. for the thesis, entitled "Integer Valued Polynomials in Algebraic Number Theory."[3]
After graduation Zantema spent a few years of employment in the industry before he switched to computer science: from 1987 to 2000 at Utrecht University and since 2000 at Eindhoven University of Technology.
Since 2007 he is a part-time full professor at Radboud University in Nijmegen. His main achievements are in term rewriting systems, in particular in automatically proving termination of term rewriting. His name is attached to Zantema's problem,[4] namely does the string rewrite system 0011 -> 111000 terminate.
Selected publications
- Zantema, Hans. 1983. Integer Valued Polynomials in Algebraic Number Theory. PhD thesis
- Zantema, Hans. 2007 De achterkant van Sudoku. Oplossen, programmeren en ontwerpen. Aramith Hersengymnastiek.
Articles, a selection:
- Zantema, Hans. "Termination of term rewriting: interpretation and type elimination." Journal of Symbolic Computation 17.1 (1994): 23–50.
- Zantema, Hans. "Termination of term rewriting by semantic labelling[permanent dead link]." Fundamenta Informaticae 24.1 (1995): 89-105.
- Endrullis, Jörg, Johannes Waldmann, and Hans Zantema. "Matrix interpretations for proving termination of term rewriting Archived 2014-10-22 at the Wayback Machine." Journal of Automated Reasoning 40.2-3 (2008): 195–220.
References
- ^ 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 at the 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.
External links
- Hans Zantema's homepage at tue.nl
- Articles with short description
- Short description is different from Wikidata
- All articles with dead external links
- Articles with dead external links from January 2020
- Articles with permanently dead external links
- Webarchive template wayback links
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with KBR identifiers
- Articles with NTA identifiers
- Articles with DBLP identifiers
- Articles with Google Scholar identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- Dutch computer scientists
- Dutch mathematicians
- 1956 births
- Living people
- Academic staff of the Eindhoven University of Technology
- Academic staff of Radboud University Nijmegen
- University of Groningen alumni
- People from Skarsterlân
- 20th-century Dutch scientists
- 21st-century Dutch scientists