WikiSort.ru - Не сортированное

ПОИСК ПО САЙТУ | о проекте
Морис Нива
Maurice Nivat
Дата рождения 21 декабря 1937(1937-12-21)
Место рождения Клермон-Ферран
Дата смерти 21 сентября 2017(2017-09-21)[1][2] (79 лет)
Страна
Научная сфера Информатика
Место работы Парижский университет
Альма-матер Университет Гренобль 1
Учёная степень доктор наук[d][3] (1967)
Научный руководитель Марсель-Поль Шютценберже (англ.)русск.
Награды и премии

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

Ранние годы и образование

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

Карьера

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

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

Награды

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

Примечания

  1. ↑ http://binaire.blog.lemonde.fr/2017/09/22/ciao-maurice/
  2. ↑ http://www.amitiefrancecoree.org/2017/09/les-notres-disparition-du-chercheur-maurice-nivat.html
  3. ↑ http://www.sudoc.fr/007285353
  4. 1 2 3 4 5 6 L'UQAM remet sept doctorats honoris causa à des personnalités marquantes : Maurice Nivat (недоступная ссылка). Архивировано 3 марта 2016 года.
  5. 1 2 3 4 Curien, Pierre-Louis (2002). “Une breve biographie scientifique de Maurice Nivat”. Theoretical Computer Science. 281: 3—23. DOI:10.1016/S0304-3975(02)00004-X.
  6. ↑ Nivat, Maurice (2002). “EATCS Award Acceptance Speech”. Bulletin of the European Association of Theoretical Computer Science. 78: 213—220.
  7. ↑ Laurea Honoris Causa in Computer Science from the University of Bologna to Maurice Nivat and Robin Milner.

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .



Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2025
WikiSort.ru - проект по пересортировке и дополнению контента Википедии