Alain Colmerauer

Alain Marie Albert Colmerauer (* 24. Januar 1941 i​n Carcassonne, Okzitanien; † 12. Mai 2017 i​n Marseille, Provence-Alpes-Côte d’Azur)[1] w​ar ein französischer Informatiker. Er g​ilt als e​iner der Erfinder d​er logischen Programmiersprache Prolog u​nd des Q-Systems, e​ines der ersten linguistischen Werkzeuge während d​er Entwicklung d​es TAUM-METEO Prototypen. Er arbeitete a​ls Professor a​n der Universität Aix-Marseille.

Leben

Alain Colmerauer studierte ab 1963 an der École nationale supérieure d’informatique et de mathématiques appliquées de Grenoble (ENSIMAG). 1967 wurde er Doktor der Informatik durch seine Dissertation Précédence, analyse syntaxique et langages de programmation. Von 1967 bis 1970 weilte er in Kanada, wo er als Assistenzprofessor an der Universität Montreal tätig war. Im Jahr 1972 implementierte die Forschungsgruppe Groupe d’Intelligence Artificielle de Luminy in Marseille unter der Leitung von Colmerauer erstmals die Programmiersprache Prolog.

Alain Colmerauer w​ar verheiratet u​nd hatte d​rei Kinder.

Preise und Auszeichnungen

1986 w​urde er z​um Ritter d​er Ehrenlegion geschlagen. 1987 w​urde er korrespondierendes Mitglied d​er Académie d​es sciences.

Literatur

  • Frederic Benhamou, Alain Colmerauer: Constraint Logic programming, Selected Research. MIT Press, 1993

Einzelnachweise

  1. Alain Colmerauer, première promo Ensimag 1963. In: grenoble-inp.fr. Ensimag, 17. Mai 2017, abgerufen am 28. Mai 2017 (französisch).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.