Нива, Морис

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
В Википедии есть статьи о других людях с фамилией Нива.
Морис Нива
фр. Maurice Nivat
Имя при рождении фр. Maurice Paul Nivat[1]
Дата рождения 21 декабря 1937(1937-12-21)[1]
Место рождения Клермон-Ферран
Дата смерти 21 сентября 2017(2017-09-21)[2][3][…] (79 лет)
Место смерти
Страна
Научная сфера Информатика
Место работы Парижский университет
Альма-матер Университет Гренобль 1
Учёная степень доктор наук[d][4] (1967)
Научный руководитель Марсель-Поль Шютценберже  (англ.) (рус.
Ученики Luis Fariñas del Cerro[d][5], Guy Vidal-Naquet[d][5], Jean-Jacques Lévy[d][5] и Luc Boasson[d][5]
Награды и премии
Логотип Викисклада Медиафайлы на Викискладе

Морис Поль Нива (фр. Maurice Paul Nivat) — французский ученый в области информатики и компьютерных наук. Его исследования охватывают сферу формальных языков, семантики языков программирования и дискретной геометрии. В 2006 г. Мориса Нива, почетного доктора наук, называли отцом теоретической информатики.[6] Был профессором в Университете Париж Дидро до 2001 года.

Ранние годы и образование[править | править код]

Морис Нива родился в Клермон-Ферране, Франция. Его родители были учителями средней школы, его отец преподавал языки, а мать — математику.[7] В 1954 году, Нива со своей семьёй переехал в Париж.[6][7] Нива в 1956 году поступил в Высшую нормальную школу, но начал работать в Институте им. Блеза Паскаля Национального центра научных исследований Франции, недавно созданной вычислительной лаборатории, в 1959 году.[6][7]Он вернулся к изучению математики в 1961 году под руководством Марселя-Поля Шютценберже.[6] Название его диссертации было «Трансдукция языков Хомского»(Transductions des langages de Chomsky).

Карьера[править | править код]

В 1969 году Нива стал профессором в Университете Париж Дидро и преподавал до 2002 года.[8]

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

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

C 1983 года Нива был член-корреспондентом Французской академии наук.[7] Является офицером Ордена Почётного легиона и Ордена «За заслуги» (Франция), а также командором Ордена Академических пальм во Франции. Получил награду EATCS в 2002 году. Ему была присуждена степень почетного доктора Болонского университета 1997 году[9] и Университета Квебека в Монреале в 2006 году.[6]

Примечания[править | править код]

  1. ↑ 1 2 3 Fichier des personnes décédées
  2. ↑ http://binaire.blog.lemonde.fr/2017/09/22/ciao-maurice/
  3. ↑ http://www.amitiefrancecoree.org/2017/09/les-notres-disparition-du-chercheur-maurice-nivat.html
  4. ↑ http://www.sudoc.fr/007285353
  5. ↑ 1 2 3 4 Mathematics Genealogy Project (англ.) — 1997.
  6. ↑ 1 2 3 4 5 6 L'UQAM remet sept doctorats honoris causa à des personnalités marquantes : Maurice Nivat. Архивировано из оригинала 3 марта 2016 года.
  7. ↑ 1 2 3 4 Curien, Pierre-Louis. Une breve biographie scientifique de Maurice Nivat (англ.) // Theoretical Computer Science  (англ.) (рус.. — 2002. — Vol. 281. — P. 3—23. — doi:10.1016/S0304-3975(02)00004-X.
  8. ↑ Nivat, Maurice. EATCS Award Acceptance Speech (англ.) // Theoretical Computer Science  (англ.) (рус.. — 2002. — Vol. 78. — P. 213—220.
  9. ↑ Laurea Honoris Causa in Computer Science from the University of Bologna to Maurice Nivat and Robin Milner. Дата обращения: 22 декабря 2016. Архивировано 23 мая 2016 года.
Источник — https://ru.wikipedia.org/w/index.php?title=Нива,_Морис&oldid=131407021