Hans Zantema

Matemático y científico informático holandés

Hans Zantema (1956) es un matemático y científico informático holandés, profesor de la Universidad Radboud en Nijmegen, conocido por su trabajo sobre análisis de terminación . ^{[1] [2]}

Biografía

Nacido en Goingarijp , Países Bajos, Zantema recibió su doctorado en teoría de números algebraicos en 1983 en la Universidad de Ámsterdam bajo la supervisión de Hendrik Lenstra Jr. por la tesis titulada "Polinomios de valores enteros en la teoría de números algebraicos". ^[3]

Después de graduarse, Zantema trabajó durante varios años en la industria antes de dedicarse a la informática: de 1987 a 2000 en la Universidad de Utrecht y desde 2000 en la Universidad Tecnológica de Eindhoven .

Desde 2007 es profesor a tiempo parcial en la Universidad Radboud de Nijmegen. Sus principales logros se centran en los sistemas de reescritura de términos , en particular en la demostración automática de la terminación de la reescritura de términos. Su nombre está vinculado al problema de Zantema ^[4] , es decir, ¿termina el sistema de reescritura de cadenas 0011 -> 111000 ?

Publicaciones seleccionadas

• Zantema, Hans. 1983. Polinomios enteros en la teoría de números algebraicos. Tesis doctoral
• Zantema, Hans. 2007 Libro de análisis de Sudoku. Oplossen, programadores y ontwerpen . Aramith Hersengymnastiek.

Artículos, una selección:

• Zantema, Hans. "Terminación de la reescritura de términos: interpretación y eliminación de tipos". Journal of Symbolic Computation 17.1 (1994): 23–50.
• Zantema, Hans. "Terminación de la reescritura de términos mediante etiquetado semántico ^{[ enlace muerto permanente ]} ". Fundamenta Informaticae 24.1 (1995): 89-105.
• Endrullis, Jörg, Johannes Waldmann y Hans Zantema. "Interpretaciones matriciales para demostrar la terminación de la reescritura de términos Archivado el 22 de octubre de 2014 en Wayback Machine ." Journal of Automated Reasoning 40.2-3 (2008): 195–220.

Referencias

1. Arts, Thomas y Jürgen Giesl. "Terminación de la reescritura de términos mediante pares de dependencias". Theoretical Computer Science 236.1 (2000): 133-178.
2. Ohlebusch, Enno. Temas avanzados en la reescritura de términos. Springer, 2002.
3. Hans Zantema en el Proyecto de Genealogía Matemática
4. Thierry Coquand y Henrik Persson. Una investigación teórica de pruebas del problema de Zantema. Computer Science Logic. Lecture Notes in Computer Science, volumen 1414, págs. 177-188, Springer, 1988.

Enlaces externos

• Página de inicio de Hans Zantema en tue.nl