Alain Colmerauer
Alain Colmerauer | |
---|---|
Born |
Carcassonne, France | 24 January 1941
Died |
12 May 2017 76) Marseille, France | (aged
Known for | Prolog |
Spouse(s) | Colette Coursaget |
Children | 3 |
Scientific career | |
Thesis | Precedences, analyse syntaxique et langages de programmation (1967) |
Doctoral advisor | Louis Bolliet, Jean Kuntzman |
Alain Colmerauer (24 January 1941 – 12 May 2017) was a French computer scientist. He was a professor at Aix-Marseille University, and the creator of the logic programming language Prolog.
Early life
Alain Colmerauer was born on 24 January 1941 in Carcassonne.[1] He graduated from the Grenoble Institute of Technology,[2] and he earned a Ph.D. from the Ensimag in Grenoble.[3]
Career
Colmerauer spent 1967–1970 as Assistant Professor at the University of Montreal,[3] where he created Q-Systems, one of the earliest linguistic formalisms used in the development of the TAUM-METEO machine translation prototype.[2] Developing Prolog III in 1984, he was one of the main founders of the field of constraint logic programming.[2]
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.[3] Despite retiring as emeritus professor in 2006,[3] he remained a member of the artificial intelligence taskforce in Luminy.[4]
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.[5] In 1986, he was made a knight of the Legion of Honour by the French government.[3] He became Fellow of the American Association for Artificial Intelligence in 1991,[6] and received the ACP Research Excellence Award, Principles and Practice of Constraint Programming in 2008.[7] He was also a Correspondent of the French Academy of Sciences in the area of Mathematics.[8]
Death
References
- ↑ "Colmerauer, Alain (1941-....)". IdRef. Retrieved 19 May 2017.
- 1 2 3 Cohen, Jacques (November 2001). "A Tribute to Alain Colmerauer" (PDF). Theory and Practice of Logic Programming. 1 (6): 637–646. Retrieved 19 May 2017.
- 1 2 3 4 5 6 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)
External links