Морис Нива - Maurice Nivat

Профессор

Морис Нива

Кандидат наук.
Портрет NIVAT MAURICE 2006 CIMG2435 (обрезано) .jpg
Ниват в 2006 году
Родившийся(1937-12-21)21 декабря 1937 г.
Клермон-Ферран, Франция
Умер21 сентября 2017 г.(2017-09-21) (79 лет)
НациональностьФранцузский
Альма-матерУниверситет Джозефа Фурье
ИзвестенТеоретическая информатика
Награды
Научная карьера
ПоляИнформатика
УчрежденияПарижский университет
ТезисТрансдукции из Хомские языки  (1967)
ДокторантМарсель-Пауль Шютценбергер
ДокторантыБруно Курсель
Филипп Флажоле
Жерар Юэ

Морис Поль Нива (21 декабря 1937 г. - 21 сентября 2017 г.) был французом специалист в области информатики. Его исследования в Информатика охватывает области формальные языки, семантика языка программирования, и дискретная геометрия. Цитата 2006 г. за почетную докторская степень (Доктор философии) назвал Ниват одним из отцов теоретическая информатика.[1] Он был Профессор на Университет Парижа Дидро до 2001 г.

ранняя жизнь и образование

Ниват родилась в Клермон-Ферран, Франция. Его родители были учителями средней школы; его отец преподавал языки, а мать преподавала математику. Его сестра, Алина, стал известным математиком.[2]В 1954 году Ниват переехал с семьей в Париж.[2] Ниват был принят в École Normale Supérieure в 1956 году, но начал работать в Институте Блеза Паскаля Французский национальный центр научных исследований, недавно созданная вычислительная лаборатория, в 1959 году.[1][2] Он вернулся к изучению математики в 1961 году под руководством Марсель-Пауль Шютценбергер.[1] Его диссертация 1967 года была озаглавлена Transductions des langages de Chomsky "("Трансдукции из Хомские языки ").

Карьера

В 1969 году Ниват стал профессором в Парижский университет Дидро и преподавал до 2002 г.[3] Он оставался почетным профессором до своей смерти в 2017 году.

Он принимал участие во многих начинаниях теоретической информатики в Европе: он был одним из основателей Европейская ассоциация теоретической информатики (EATCS) в 1972 г. и организовал первую Международный коллоквиум по автоматам, языкам и программированию (ICALP) в том же году на Французский институт исследований в области компьютерных наук и автоматизации (INRIA, затем IRIA) в Париже. В 1975 году он был основателем журнала. Теоретическая информатика. Он был главным редактором журнала более 25 лет.[1]

Он был членом Международная федерация обработки информации (ИФИП) Рабочая группа 2.1 ИФИП по алгоритмическим языкам и исчислениям,[4] который указан, поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68.[5]

Награды

С 1983 года Ниват был членом-корреспондентом Французская Академия Наук.[2] Ниват также был офицером как Почетный легион и Национальный орден Мерита, и командир Ordre des Palmes Académiques во Франции. Ниват выиграла EATCS в 2002 г. Он получил звание почетного доктора Болонский университет в 1997 г.[6] и Квебекский университет в Монреале в 2006 году.[1]

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

  1. ^ а б c d е "L'UQAM remet sept doctorats honoris causa à des personnalités marquantes: Maurice Nivat". Архивировано из оригинал на 2016-03-03. Получено 2017-09-04.
  2. ^ а б c d Куриен, Пьер-Луи (2002). "Une breve scientifique biography de Maurice Nivat". Теоретическая информатика. 281 (1–2): 3–23. Дои:10.1016 / S0304-3975 (02) 00004-X.
  3. ^ Ниват, Морис (2002). «Речь о вручении награды EATCS». Бюллетень Европейской ассоциации теоретической информатики. 78: 213–220.
  4. ^ Jeuring, Йохан; Меертенс, Ламберт; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП». Фосвики. Получено 2020-09-02.
  5. ^ Swierstra, Doaitse; Гиббонс, Джереми; Меертенс, Ламберт (2011-03-02). "ScopeEtc: IFIP21: Foswiki". Фосвики. Получено 2020-09-02.
  6. ^ «Laurea Honoris Causa в области компьютерных наук от Болонского университета до Мориса Нива и Робина Милнера».