Alain Colmerauer - Alain Colmerauer

Alain Colmerauer
A-Colmerauer web-800x423.jpg
narozený(1941-01-24)24. ledna 1941
Carcassonne, Francie
Zemřel12. května 2017(2017-05-12) (ve věku 76)
Marseille, Francie
Známý jakoProlog
Manžel (y)Colette Coursaget
Děti3
Vědecká kariéra
TezePřednosti, analýza syntaxe a jazyků programování (1967)
Doktorský poradceLouis Bolliet, Jean Kuntzman

Alain Colmerauer (24. ledna 1941 - 12. května 2017) byl Francouz počítačový vědec. Byl profesorem na Univerzita v Aix-Marseille a tvůrce logické programování Jazyk Prolog.

Časný život

Alain Colmerauer se narodil 24. ledna 1941 v Carcassonne.[1] Vystudoval Technologický institut v Grenoblu,[2] a získal titul PhD Ensimag v Grenoble.[3]

Kariéra

Colmerauer strávil 1967–1970 jako odborný asistent na University of Montreal,[3] kde vytvořil Q-systémy, jeden z prvních jazykových formalizmů použitých při vývoji TAUM-METEO strojový překlad prototyp.[2] Při vývoji Prolog III v roce 1984 byl jedním z hlavních zakladatelů oboru logické programování omezení.[2]

Colmerauer se stal docentem na Univerzita v Aix-Marseille v Luminách v roce 1970. V roce 1979 byl povýšen na řádného profesora. V letech 1993 až 1995 byl vedoucím Laboratoire d'Informatique de Marseille (LIM), společné laboratoře Centre National de la Recherche Scientifique, Université de Provence a Université de la Méditerranée.[3] Přes odchod do důchodu jako emeritní profesor v roce 2006[3] zůstal členem pracovní skupiny pro umělou inteligenci v Luminách.[4]

Colmerauer získal ocenění od regionální rada z Provence-Alpes-Côte d'Azur, a v roce 1985 Cena Michela Monpetita, od Francouzská akademie věd.[5] V roce 1986 byl jmenován rytířem Čestná legie francouzskou vládou.[3] V roce 1991 se stal členem Americké asociace pro umělou inteligenci,[6] a v roce 2008 obdržela cenu Asociace pro omezení programování za vynikající výzkum.[7] Byl také dopisovatelem Francouzská akademie věd v oblasti matematiky.[8]

Smrt

Colmerauer zemřel 12. května 2017.[3][9][10][11]

Reference

  1. ^ "Colmerauer, Alain (1941 -....)". IdRef. Citováno 19. května 2017.
  2. ^ A b C Cohen, Jacques (listopad 2001). „Pocta Alainovi Colmerauerovi“. Teorie a praxe logického programování. 1 (6): 637–646. arXiv:cs / 0402058. doi:10.1017 / S1471068401001119.
  3. ^ A b C d E F Redakce (15. května 2017). „In Memoriam: Alain Colmerauer“. Sdružení pro logické programování. Citováno 18. května 2017.CS1 maint: další text: seznam autorů (odkaz)
  4. ^ "Colmerauer, Alain". Bibliothèque nationale de France. Citováno 19. května 2017.
  5. ^ „PRIX DE KOMISE“. La Vie des sciences. 1985. Citováno 19. května 2017 - prostřednictvím Bibliothèque nationale de France.
  6. ^ „VYBRANÉ PORUCHY AAAI“. Americká asociace umělé inteligence. Citováno 19. května 2017.
  7. ^ „Cena za vynikající výzkum“. Sdružení pro programování omezení. Citováno 19. května 2017.
  8. ^ „Alain Colmerauer“. Académie des sciences. Citováno 19. května 2017.
  9. ^ Fisher, Lawrence M. „In Memoriam Alain Colmerauer: 1941–2017“. Komunikace ACM. ACM. Citováno 23. května 2017. - Podle tohoto nekrologu zemřel Alain Colmerauer 15. května.
  10. ^ lemonde.fr (francouzsky)
  11. ^ ensimag.grenoble-inp.fr (francouzsky)

externí odkazy