Ален Колмерауэр | |
---|---|
Рожденный | Каркассон , Франция | 24 января 1941 г.
Умер | 12 мая 2017 г. Марсель , Франция | (76 лет)
Известен | Пролог |
Супруг (а) | Колетт Курзаже |
Дети | 3 |
Научная карьера | |
Тезис | Приоритеты, анализ синтаксиса и языков программирования (1967) |
Докторант | Луи Боллиет, Жан Кунцман |
Ален Колмерауэр (24 января 1941 - 12 мая 2017) был французским ученым-компьютерщиком . Он был профессором в Экс-Марсель университета и создатель логики программирования языка Пролог .
Ранняя жизнь [ править ]
Ален Колмерауэр родился 24 января 1941 года в Каркассоне . [1] Он окончил Технологический институт Гренобля , [2] и получил докторскую степень в Ensimag в Гренобле . [3]
Карьера [ править ]
Colmerauer провел 1967-1970 ассистента профессора в Университете Монреаля , [3] , где он создал Q-Systems , один из самых ранних лингвистических формализмов , используемых в развитии Taum-МЕТЕО машинного перевода прототипа. [2] Разрабатывая Prolog III в 1984 году, он был одним из основных основателей области программирования логики ограничений . [2]
Колмерауэр стал адъюнкт-профессором Университета Экс-Марсель в Люмини в 1970 году. Он стал профессором в 1979 году. С 1993 по 1995 год он возглавлял Лабораторию информатики Марселя (LIM), объединенную лабораторию Центра. Национальные научные исследования, Университет Прованса и Медитерранский университет. [3] Несмотря на то, что в 2006 году он вышел на пенсию в качестве почетного профессора, [3] он оставался членом рабочей группы по искусственному интеллекту в Luminy. [4]
Colmerauer получил награду от областного совета в Прованс-Альпы-Лазурный берег , а в 1985 году Monpetit премии Мишеля , из Французской академии наук . [5] В 1986 году французское правительство сделало его рыцарем Почетного легиона . [3] Он стал членом Американской ассоциации искусственного интеллекта в 1991 году [6] и получил награду Ассоциации за выдающиеся достижения в области программирования в 2008 году. [7] Он также был корреспондентом Французской академии наук в области научных исследований. математика. [8]
Смерть [ править ]
Колмерауэр умер 12 мая 2017 года. [3] [9] [10] [11]
Ссылки [ править ]
- ^ "Колмерауэр, Ален (1941 -...)" . IdRef . Дата обращения 19 мая 2017 .
- ^ a b c Коэн, Жак (ноябрь 2001 г.). "Дань уважения Алену Колмерауэру". Теория и практика логического программирования . 1 (6): 637–646. arXiv : cs / 0402058 . DOI : 10.1017 / S1471068401001119 .
- ^ a b c d e f Редакторы (15 мая 2017 г.). "In Memoriam: Ален Колмерауэр" . Ассоциация логического программирования . Дата обращения 18 мая 2017 .CS1 maint: дополнительный текст: список авторов ( ссылка )
- ^ "Колмерауэр, Ален" . Национальная библиотека Франции . Дата обращения 19 мая 2017 .
- ^ "PRIX DE COMMISSIONS" . La Vie des Sciences . 1985 . Проверено 19 мая 2017 года - через Bibliothèque nationale de France.
- ^ "ИЗБРАННЫЕ ПАРАМЕТРЫ AAAI" . Американская ассоциация искусственного интеллекта . Дата обращения 19 мая 2017 .
- ^ «Премия за выдающиеся достижения в области исследований» . Ассоциация программирования в ограничениях . Дата обращения 19 мая 2017 .
- ^ "Ален Колмерауэр" . Académie des Sciences . Дата обращения 19 мая 2017 .
- ^ Фишер, Лоуренс М. «Памяти Алена Колмерауэра: 1941–2017» . Коммуникации ACM . ACM . Проверено 23 мая 2017 года . - Согласно этому некрологу, Ален Колмерауэр скончался 15 мая.
- ^ Lemonde.fr (на французском языке)
- ^ ensimag.grenoble-inp.fr (на французском)
Внешние ссылки [ править ]
- Официальный сайт