Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Профессор

Морис Нива

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

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

Ранняя жизнь и образование [ править ]

Ниват родилась в Клермон-Ферран , Франция. Его родители были учителями средней школы; его отец преподавал языки, а мать преподавала математику. Его сестра Алина стала известным математиком. [2] В 1954 году Ниват переехал с семьей в Париж. [2] Ниват был принят в Высшую нормальную школу в 1956 году, но начал работать в Институте Блеза Паскаля Французского национального центра научных исследований , недавно созданной вычислительной лаборатории, в 1959 году. [1] [2] Он вернулся к учебе. математики в 1961 году под руководством Марселя-Поля Шютценбергера . [1] Его диссертация 1967 года была озаглавленаДе langages каскады , де Хомские «(» каскады , из Хомских языков «).

Карьера [ править ]

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

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

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

Награды [ править ]

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

Ссылки [ править ]

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