Alain Colmerauer - Alain Colmerauer
Alain Colmerauer | |
---|---|
Nacido |
Carcassonne , Francia
|
24 de enero de 1941
Murió | 12 de mayo de 2017
Marsella , Francia
|
(76 años)
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
Este artículo sobre un especialista en informática francés es un esbozo . Puedes ayudar a Wikipedia expandiéndolo . |