Maarten van Emden

Maarten Herman van Emden (31 de diciembre de 1937 - 4 de enero de 2023) fue un matemático e informático neerlandés-canadiense cuya investigación sobre los fundamentos de la programación lógica y la programación lógica con restricciones fue muy influyente.

Van Emden nació en Velp, Países Bajos, y pasó la mayor parte de su infancia en las Indias Orientales Neerlandesas. ^{[ 1 ]} Cumplió el servicio militar obligatorio entre 1959 y 1960, tanto como piloto como oficial. Asistió a la escuela nacional de entrenamiento de vuelo y trabajó para KLM como piloto de 1960 a 1963. ^{[ 2 ]}

Van Emden completó una maestría en la Universidad Tecnológica de Delft en 1966 y un doctorado en informática en la Universidad de Ámsterdam en 1971. Su tesis doctoral, «Análisis de la complejidad», versó sobre teoría de la información y análisis de datos. Su director de tesis fue Adriaan van Wijngaarden , quien también dirigió la tesis de otro destacado informático neerlandés, Edsger W. Dijkstra . ^{[ 3 ]}

Van Emden pasó los años 1971-1972 como becario postdoctoral en el Centro de Investigación Thomas J. Watson de IBM y posteriormente se unió al grupo de Inteligencia Artificial de la Universidad de Edimburgo como investigador bajo la dirección de Donald Michie . En 1975, emigró a Canadá para incorporarse al profesorado de la Universidad de Waterloo . En 1987, se trasladó a la Universidad de Victoria. Entre sus puestos como investigador visitante se incluyen la Universidad de Edimburgo en 1980, el Imperial College (Reino Unido) entre 1982 y 1983, y la NWO (Países Bajos) entre 2000 y 2001.

En colaboración con Robert Kowalski , Van Emden desarrolló la semántica de punto fijo de las cláusulas de Horn, que sustenta la semántica lógica de la programación lógica. ^{[ 4 ]} Investigó además sobre verificación y corrección de software, y satisfacción de restricciones, junto con aritmética de intervalos y propagación de intervalos. ^{[ 5 ]} Escribió un programa Prolog que toma consejos para ciertos finales de ajedrez. ^{[ 6 ]}

Entre 2008 y 2019, Van Emden escribió una colección de ensayos sobre la práctica de la programación y la historia y filosofía de la informática en un blog titulado A Programmer's Place. ^{[ 7 ]}