Ален Колмерауэр - Alain Colmerauer

Ален Колмерауэр
A-Colmerauer web-800x423.jpg
Родившийся(1941-01-24)24 января 1941 г.
Каркассон, Франция
Умер12 мая 2017(2017-05-12) (76 лет)
Марсель, Франция
ИзвестенПролог
Супруг (а)Колетт Курзаже
Дети3
Научная карьера
ТезисПриоритеты, анализ синтаксиса и языков программирования (1967)
ДокторантЛуи Боллиет, Жан Кунцман

Ален Колмерауэр (24 января 1941 - 12 мая 2017) был французом специалист в области информатики. Он был профессором в Университет Экс-Марсель, и создатель логическое программирование язык Пролог.

Ранние годы

Ален Колмерауэр родился 24 января 1941 г. в г. Каркассон.[1] Окончил Гренобльский технологический институт,[2] и он получил докторскую степень в Ensimag в Гренобль.[3]

Карьера

1967–1970 годы Колмерауэр проработал доцентом в Монреальский университет,[3] где он создал Q-системы, один из самых ранних лингвистических формализмов, использованных при разработке TAUM-METEO машинный перевод прототип.[2] Разрабатывая Prolog III в 1984 году, он был одним из основных основоположников области программирование логики ограничений.[2]

Колмерауэр стал адъюнкт-профессором в Университет Экс-Марсель в Luminy в 1970 году. Он был назначен профессором в 1979 году. С 1993 по 1995 год он возглавлял Лабораторию информатики Марселя (LIM), объединенную лабораторию Национального центра научных исследований и Университета Прованса. и Университет Медитерране.[3] Несмотря на то, что в 2006 году ушел в отставку с должности почетного профессора,[3] он оставался членом рабочей группы по искусственному интеллекту в Luminy.[4]

Колмерауэр получил награду от региональный совет из Прованс-Альпы-Лазурный берег, а в 1985 г. Премия Мишеля Монпети, от Французская Академия Наук.[5] В 1986 году он стал рыцарем Великой Отечественной войны. Почетный легион правительством Франции.[3] Он стал членом Американской ассоциации искусственного интеллекта в 1991 году.[6] и получил награду Ассоциации за выдающиеся достижения в области программирования в 2008 году.[7] Он также был корреспондентом Французская Академия Наук в области математики.[8]

Смерть

Колмерауэр умер 12 мая 2017 года.[3][9][10][11]

Рекомендации

  1. ^ "Колмерауэр, Ален (1941 -...)". IdRef. Получено 19 мая 2017.
  2. ^ а б c Коэн, Жак (ноябрь 2001 г.). "Дань уважения Алену Колмерауэру". Теория и практика логического программирования. 1 (6): 637–646. arXiv:cs / 0402058. Дои:10.1017 / S1471068401001119.
  3. ^ а б c d е ж Редакция (15 мая 2017 г.). «Памяти Алена Колмерауэра». Ассоциация логического программирования. Получено 18 мая 2017.CS1 maint: дополнительный текст: список авторов (связь)
  4. ^ "Колмерауэр, Ален". Национальная библиотека Франции. Получено 19 мая 2017.
  5. ^ "PRIX DE COMMISSIONS". La Vie des Sciences. 1985. Получено 19 мая 2017 - через Bibliothèque nationale de France.
  6. ^ «ИЗБРАННЫЕ ЧТОБЫ АААИ». Американская ассоциация искусственного интеллекта. Получено 19 мая 2017.
  7. ^ «Премия за выдающиеся достижения в области исследований». Ассоциация программирования в ограничениях. Получено 19 мая 2017.
  8. ^ "Ален Колмерауэр". Академия наук. Получено 19 мая 2017.
  9. ^ Фишер, Лоуренс М. «Памяти Алена Колмерауэра: 1941–2017». Коммуникации ACM. ACM. Получено 23 мая 2017. - Согласно этому некрологу, Ален Колмерауэр скончался 15 мая.
  10. ^ Lemonde.fr (На французском)
  11. ^ ensimag.grenoble-inp.fr (На французском)

внешняя ссылка