Ален Кольмерауэр
Ален Кольмерауэр | |
|---|---|
 | |
| Рожденный | 24 января 1941 г. Каркассон , Франция |
| Умер | 12 мая 2017 г. (76 лет) Марсель , Франция |
| Известный | Пролог |
| Супруг | Колетт Курсаже |
| Дети | 3 |
| Научная карьера | |
| Диссертация | Приоритеты, синтаксический анализ и языки программирования (1967) |
| Докторантура | Луи Болье, Жан Кунцман |
Ален Кольмерауэр (24 января 1941 — 12 мая 2017) — французский учёный-компьютерщик . Он был профессором Университета Экс-Марсель и создателем логического программирования языка Prolog .
Ранний период жизни
[ редактировать ]Ален Кольмерауэр родился 24 января 1941 года в Каркассоне . [1] Окончил Гренобльский технологический институт . [2] и он получил докторскую степень в Ensimag в Гренобле . [3]
Карьера
[ редактировать ]В 1967–1970 годах Кольмерауэр работал доцентом Монреальского университета . [3] где он создал Q-Systems — один из первых лингвистических формализмов, использованных при разработке прототипа машинного перевода TAUM-METEO . [2] Разработав Prolog III в 1984 году, он был одним из главных основателей области программирования логики в ограничениях . [2]
Кольмерауэр стал доцентом Университета Экс-Марсель в Люмини в 1970 году. В 1979 году он получил звание профессора. С 1993 по 1995 год он возглавлял Лабораторию информатики Марселя (LIM), совместную лабораторию Центра. Национальные научные исследования, Университет Прованса и Университет Средиземноморья. [3] Несмотря на уход с должности почетного профессора в 2006 году, [3] он оставался членом оперативной группы по искусственному интеллекту в Люмини. [4]
Кольмерауэр получил награду регионального совета Прованса -Альп-Лазурного Берега , а в 1985 году премию Мишеля Монпети Французской академии наук . [5] удостоило его звания кавалера Почётного легиона . В 1986 году французское правительство [3] В 1991 году он стал членом Американской ассоциации искусственного интеллекта. [6] а в 1997 году Ассоциация логического программирования присвоила ему и четырнадцати другим избранным исследователям звание основателя логического программирования . [7] Затем в 2008 году он получил награду за выдающиеся исследования Ассоциации программирования с ограничениями. [8] Он также был корреспондентом Французской академии наук в области математики. [9]
Смерть
[ редактировать ]Кольмерауэр умер 12 мая 2017 года. [3] [10] [11] [12]
Премия ALP Алена Кольмерауэра
[ редактировать ]Премия ALP Alain Colmerauer Prolog Heritage Prize (сокращенно: Премия Алена Кольмерауэра ) [13] организован Ассоциацией логического программирования (ALP). Премия вручается за недавние достижения и практические достижения в области вычислений на основе Пролога, понимаемых в широком смысле, где фундаментальный, технологический и практический вклад имеет доказанные доказательства или потенциал для будущего развития логического программирования.
Ссылки
[ редактировать ]- ^ «Кольмерауэр, Ален (1941-....)» . ИдРеф . Проверено 19 мая 2017 г.
- ^ Перейти обратно: а б с Коэн, Жак (ноябрь 2001 г.). «Посвящение Алену Кольмерауэру». Теория и практика логического программирования . 1 (6): 637–646. arXiv : cs/0402058 . дои : 10.1017/S1471068401001119 . S2CID 7946933 .
- ^ Перейти обратно: а б с д и ж «Памяти: Ален Кольмерауэр» . Ассоциация логического программирования . 15 мая 2017 года. Архивировано из оригинала 8 апреля 2023 года . Проверено 18 мая 2017 г.
- ^ Кольмерауэр, Ален . Проверено 19 мая 2017 г. - из Национальной библиотеки Франции.
- ^ «ЦЕНЫ КОМИССИЙ» . Жизнь науки . 1985 год . Проверено 19 мая 2017 г. - из Национальной библиотеки Франции.
- ^ «ИЗБРАННЫЕ стипендиаты AAAI» . Американская ассоциация искусственного интеллекта . Проверено 19 мая 2017 г.
- ^ «ALP Awards | Ассоциация логического программирования» . 13 апреля 2013 года. Архивировано из оригинала 13 апреля 2013 года . Проверено 8 июля 2023 г.
{{cite web}}: CS1 maint: bot: исходный статус URL неизвестен ( ссылка ) - ^ «Премия за выдающиеся достижения в области исследований» . Ассоциация программирования с ограничениями . Проверено 19 мая 2017 г.
- ^ «Ален Кольмерауэр» . Академия наук . Проверено 19 мая 2017 г.
- ^ Фишер, Лоуренс М. «Памяти Алена Кольмерауэра: 1941–2017» . Коммуникации АКМ . АКМ . Проверено 23 мая 2017 г. — Согласно этому некрологу, Ален Кольмерауэр умер 15 мая.
- ^ Lemonde.fr (на французском языке)
- ^ ensimag.grenoble-inp.fr (на французском языке)
- ^ «Премия ALP Алена Кольмерауэра» . Ассоциация логического программирования . Проверено 5 июля 2024 г.
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта статья о французском компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее . |
- Французские ученые-компьютерщики
- Разработчики языков программирования
- 1941 года рождения
- смертей в 2017 году
- Члены Французской академии наук
- Рыцари Почетного легиона
- Академический состав Университета Монреаля
- Академический состав Университета Экс-Марсель
- Выпускники Гренобльского технологического института
- Люди из Каркассона
- Французские учёные XX века
- Французские учёные XXI века
- Французские инженеры 20-го века
- Французские инженеры XXI века
- Ученые из Прованса-Альп-Лазурного Берега
- Незавершенные статьи о европейских компьютерных специалистах