Alain Colmerauer

Alain Colmerauer
A-Colmerauer web-800x423.jpg
Född ( 1941-01-24 ) 24 januari 1941
Carcassonne , Frankrike
dog 12 maj 2017 (2017-05-12) (76 år)
Marseille , Frankrike
Känd för Prolog
Make Colette Coursaget
Barn 3
Vetenskaplig karriär
Avhandling   Precedences, analyze syntaxique et langages de programmation (1967)
Doktorand rådgivare Louis Bolliet, Jean Kuntzman

Alain Colmerauer (24 januari 1941 – 12 maj 2017) var en fransk datavetare . Han var professor vid Aix-Marseilles universitet och skaparen av det logiska programmeringsspråket Prolog .

Tidigt liv

Alain Colmerauer föddes den 24 januari 1941 i Carcassonne . Han tog examen från Grenoble Institute of Technology och doktorerade från Ensimag i Grenoble .

Karriär

Colmerauer tillbringade 1967–1970 som biträdande professor vid University of Montreal , där han skapade Q-Systems , en av de tidigaste språkliga formalismerna som användes i utvecklingen av TAUM-METEO- maskinöversättningsprototypen . Han utvecklade Prolog III 1984 och var en av de främsta grundarna av fältet constraint logic programmering .

Colmerauer blev docent vid Aix-Marseille University i Luminy 1970. Han befordrades till professor 1979. Från 1993 till 1995 var han chef för Laboratoire d'Informatique de Marseille (LIM), ett gemensamt laboratorium för centret National de la Recherche Scientifique, Université de Provence och Université de la Méditerranée. Trots att han gick i pension som emeritusprofessor 2006 förblev han medlem i arbetsgruppen för artificiell intelligens i Luminy.

Colmerauer vann en utmärkelse från det regionala rådet i Provence-Alpes-Côte d'Azur, och 1985 Michel Monpetit Award, från den franska vetenskapsakademin . 1986 utsågs han till riddare av Hederslegionen av den franska regeringen. Han blev Fellow i American Association for Artificial Intelligence 1991 och fick Association for Constraint Programming's Research Excellence Award 2008. Han var också korrespondent för den franska vetenskapsakademin inom området matematik.

Död

Colmerauer dog den 12 maj 2017.

externa länkar