24 January 1941|
|Died||12 May 2017
|Thesis||Precedences, analyse syntaxique et langages de programmation (1967)|
|Doctoral advisor||Louis Bolliet, Jean Kuntzman|
Colmerauer spent 1967–1970 as Assistant Professor at the University of Montreal, where he created Q-Systems, one of the earliest linguistic formalisms used in the development of the TAUM-METEO machine translation prototype. Developing Prolog III in 1984, he was one of the main founders of the field of constraint logic programming.
Colmerauer became an associate professor at Aix-Marseille University in Luminy in 1970. He was promoted in 1979 to Full Professor. From 1993 to 1995, he was Head of the Laboratoire d’Informatique de Marseille (LIM), a joint laboratory of the Centre National de la Recherche Scientifique, the University de Provence and the University de la Mediterranee. Despite retiring as emeritus professor in 2006, he remained a member of the artificial intelligence taskforce in Luminy.
Colmerauer won an award from the regional council of Provence-Alpes-Côte d'Azur, and in 1985 the Michel Monpetit Award, from the French Academy of Sciences. In 1986, he was made a knight of the Legion of Honour by the French government. He became Fellow of the American Association for Artificial Intelligence in 1991, and received the ACP Research Excellence Award, Principles and Practice of Constraint Programming in 2008. He was also a Correspondent of the French Academy of Sciences in the area of Mathematics.
- "Colmerauer, Alain (1941-....)". IdRef. Retrieved 19 May 2017.
- Cohen, Jacques (November 2001). "A Tribute to Alain Colmerauer" (PDF). Theory and Practice of Logic Programming. 1 (6): 637–646. Retrieved 19 May 2017.
- Editors (15 May 2017). "In Memoriam: Alain Colmerauer". Association for Logic Programming. Retrieved 18 May 2017.
- "Colmerauer, Alain". Bibliothèque nationale de France. Retrieved 19 May 2017.
- "PRIX DE COMMISSIONS". La Vie des sciences. 1985. Retrieved 19 May 2017 – via Bibliothèque nationale de France.
- "ELECTED AAAI FELLOWS". American Association of Artificial Intelligence. Retrieved 19 May 2017.
- "Research Excellence Award". Association for Constraint Programming. Retrieved 19 May 2017.
- "Alain Colmerauer". Académie des sciences. Retrieved 19 May 2017.
- Fisher, Lawrence M. "In Memoriam Alain Colmerauer: 1941-2017". Communications of the ACM. ACM. Retrieved 23 May 2017. — According to this obituary, Alain Colmerauer died on 15 May.
- lemonde.fr (in French)
- ensimag.grenoble-inp.fr (in French)
|This article about a French computer specialist is a stub. You can help Wikipedia by expanding it.|