Alain Colmerauer - Alain Colmerauer

Alain Colmerauer
A-Colmerauer web-800x423.jpg
Nacido ( 24/01/1941 ) 24 de enero de 1941
Carcassonne , Francia
Murió 12 de mayo de 2017 (12 de mayo de 2017) (76 años)
Marsella , Francia
Conocido por Prólogo
Esposos) Colette Coursaget
Niños 3
Carrera científica
Tesis Precedencias, analizar syntaxique et langages de programmation   (1967)
Asesor de doctorado Louis Bolliet y Jean Kuntzman

Alain Colmerauer (24 de enero de 1941 - 12 de mayo de 2017) fue un informático francés . Fue profesor en la Universidad de Aix-Marseille y creador del lenguaje de programación lógica Prolog .

Vida temprana

Alain Colmerauer nació el 24 de enero de 1941 en Carcassonne . Se graduó en el Instituto de Tecnología de Grenoble y obtuvo un doctorado en Ensimag en Grenoble .

Carrera

Colmerauer pasó de 1967 a 1970 como profesor asistente en la Universidad de Montreal , donde creó Q-Systems , uno de los primeros formalismos lingüísticos utilizados en el desarrollo del prototipo de traducción automática TAUM-METEO . Al desarrollar Prolog III en 1984, fue uno de los principales fundadores del campo de la programación lógica de restricciones .

Colmerauer se convirtió en profesor asociado en la Universidad de Aix-Marseille en Luminy en 1970. Fue ascendido a profesor titular en 1979. De 1993 a 1995, fue director del Laboratoire d'Informatique de Marseille (LIM), un laboratorio conjunto del Centro National de la Recherche Scientifique, la Université de Provence y la Université de la Méditerranée. A pesar de retirarse como profesor emérito en 2006, siguió siendo miembro del grupo de trabajo de inteligencia artificial en Luminy.

Colmerauer ganó un premio del consejo regional de Provence-Alpes-Côte d'Azur , y en 1985 el premio Michel Monpetit , de la Academia de Ciencias de Francia . En 1986, el gobierno francés lo nombró caballero de la Legión de Honor . Se convirtió en miembro de la Asociación Americana de Inteligencia Artificial en 1991 y recibió el Premio a la Excelencia en Investigación de la Asociación para la Programación de Restricciones en 2008. También fue corresponsal de la Academia Francesa de Ciencias en el área de matemáticas.

Muerte

Colmerauer murió el 12 de mayo de 2017.

Referencias

enlaces externos