Alain Colmerauer | |
---|---|
Born |
Carcassonne, France | 24 January 1941
Died | 12 May 2017
Marseille, France | (aged 76)
Known for | Prolog |
Spouse | 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.
Alain Colmerauer was born on 24 January 1941 in Carcassonne. [1] He graduated from the Grenoble Institute of Technology, [2] and he earned a PhD from the Ensimag in Grenoble. [3]
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 to full professor in 1979. 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 Université de Provence and the Université de la Méditerranée. [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 in 1997 the Association of Logic Programming bestowed upon him and fourteen other select researchers the title of Founder of Logic Programming. [7] He then received the Association for Constraint Programming's Research Excellence Award in 2008. [8] He was also a correspondent of the French Academy of Sciences in the area of mathematics. [9]
Colmerauer died on 12 May 2017. [3] [10] [11] [12]
{{
cite web}}
: CS1 maint: bot: original URL status unknown (
link)
Alain Colmerauer | |
---|---|
Born |
Carcassonne, France | 24 January 1941
Died | 12 May 2017
Marseille, France | (aged 76)
Known for | Prolog |
Spouse | 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.
Alain Colmerauer was born on 24 January 1941 in Carcassonne. [1] He graduated from the Grenoble Institute of Technology, [2] and he earned a PhD from the Ensimag in Grenoble. [3]
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 to full professor in 1979. 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 Université de Provence and the Université de la Méditerranée. [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 in 1997 the Association of Logic Programming bestowed upon him and fourteen other select researchers the title of Founder of Logic Programming. [7] He then received the Association for Constraint Programming's Research Excellence Award in 2008. [8] He was also a correspondent of the French Academy of Sciences in the area of mathematics. [9]
Colmerauer died on 12 May 2017. [3] [10] [11] [12]
{{
cite web}}
: CS1 maint: bot: original URL status unknown (
link)