Hans Zantema (1956) es un matemático e informático holandés, y profesor de la Universidad Radboud en Nijmegen, conocido por su trabajo en el análisis de terminaciones . [1] [2]
Biografía
Nacido en Goingarijp , Países Bajos, Zantema recibió su doctorado en teoría algebraica de números en 1983 en la Universidad de Amsterdam bajo la supervisión de Hendrik Lenstra Jr. para la tesis, titulada "Polinomios con valores enteros en teoría algebraica de números". [3]
Después de graduarse, Zantema pasó algunos años trabajando en la industria antes de cambiarse 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 titular a tiempo parcial en la Universidad Radboud en Nijmegen. Sus principales logros se encuentran en los sistemas de reescritura de términos , en particular en probar automáticamente la terminación de la reescritura de términos. Su nombre está asociado al problema de Zantema, [4] es decir, ¿termina el sistema de reescritura de cadenas 0011 -> 111000 ?
Publicaciones Seleccionadas
- Zantema, Hans. 1983. Polinomios con valores enteros en la teoría de números algebraicos. tesis doctoral
- Zantema, Hans. 2007 De achterkant van Sudoku. Oplossen, programmeren en 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 por etiquetado semántico [ enlace muerto permanente ] ". Fundamenta Informaticae 24.1 (1995): 89-105.
- Endrullis, Jörg, Johannes Waldmann y Hans Zantema. " Interpretaciones matriciales para probar la terminación de la reescritura del término ". Journal of Automated Reasoning 40.2-3 (2008): 195–220.
Referencias
- ^ Artes, Thomas y Jürgen Giesl. "Terminación de la reescritura de términos usando pares de dependencia". Ciencias de la computación teóricas 236.1 (2000): 133-178.
- ^ Ohlebusch, Enno. Temas avanzados en reescritura de términos. Springer, 2002.
- ^ Hans Zantema en el Proyecto de genealogía matemática
- ^ Thierry Coquand y Henrik Persson. Una investigación teórica de prueba del problema de Zantema. Lógica informática. Lecture Notes in Computer Science Volume 1414, págs. 177-188, Springer, 1988.
enlaces externos
- Página de inicio de Hans Zantema en tue.nl