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 .
Alain Colmerauer | |
---|---|
Nació | Carcassonne , Francia | 24 de enero de 1941
Fallecido | 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 |
Vida temprana
Alain Colmerauer nació el 24 de enero de 1941 en Carcasona . [1] Se graduó en el Instituto de Tecnología de Grenoble , [2] y obtuvo un doctorado en Ensimag en Grenoble . [3]
Carrera profesional
Colmerauer pasó de 1967 a 1970 como profesor asistente en la Universidad de Montreal , [3] donde creó Q-Systems , uno de los primeros formalismos lingüísticos utilizados en el desarrollo del prototipo de traducción automática TAUM-METEO . [2] Al desarrollar Prolog III en 1984, fue uno de los principales fundadores del campo de la programación lógica de restricciones . [2]
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. [3] A pesar de retirarse como profesor emérito en 2006, [3] siguió siendo miembro del grupo de trabajo de inteligencia artificial en Luminy. [4]
Colmerauer ganó un premio del consejo regional de Provenza-Alpes-Costa Azul , y en 1985 el premio Michel Monpetit , de la Academia de Ciencias de Francia . [5] En 1986, el gobierno francés lo nombró caballero de la Legión de Honor . [3] Se convirtió en miembro de la Asociación Estadounidense de Inteligencia Artificial en 1991, [6] y recibió el Premio a la Excelencia en Investigación de la Asociación para la Programación de Restricciones en 2008. [7] También fue corresponsal de la Academia Francesa de Ciencias en el área de matemáticas. [8]
Muerte
Referencias
- ^ "Colmerauer, Alain (1941 -....)" . IdRef . Consultado el 19 de mayo de 2017 .
- ^ a b c Cohen, Jacques (noviembre de 2001). "Un tributo a Alain Colmerauer". Teoría y práctica de la programación lógica . 1 (6): 637–646. arXiv : cs / 0402058 . doi : 10.1017 / S1471068401001119 .
- ^ a b c d e f Editores (15 de mayo de 2017). "In Memoriam: Alain Colmerauer" . Asociación de Programación Lógica . Consultado el 18 de mayo de 2017 .CS1 maint: texto adicional: lista de autores ( enlace )
- ^ "Colmerauer, Alain" . Bibliothèque nationale de France . Consultado el 19 de mayo de 2017 .
- ^ "PRIX DE COMMISSIONS" . La Vie des sciences . 1985 . Consultado el 19 de mayo de 2017 , a través de Bibliothèque nationale de France.
- ^ "FELLOWS ELEGIDOS DE LA AAAI" . Asociación Americana de Inteligencia Artificial . Consultado el 19 de mayo de 2017 .
- ^ "Premio a la Excelencia en Investigación" . Asociación para la Programación de Restricciones . Consultado el 19 de mayo de 2017 .
- ^ "Alain Colmerauer" . Académie des sciences . Consultado el 19 de mayo de 2017 .
- ^ Fisher, Lawrence M. "In Memoriam Alain Colmerauer: 1941-2017" . Comunicaciones de la ACM . ACM . Consultado el 23 de mayo de 2017 . - Según este obituario, Alain Colmerauer falleció el 15 de mayo.
- ^ lemonde.fr (en francés)
- ^ ensimag.grenoble-inp.fr (en francés)
enlaces externos
- Página web oficial