Нива, Морис
| Морис Нива | |
|---|---|
| Maurice Nivat | |
| Место рождения | Клермон-Ферран |
| Научная сфера | Информатика |
| Место работы | Парижский университет |
| Альма-матер | Университет Гренобль 1 |
| Научный руководитель | Марсель-Поль Шютценберже |
Морис Поль Нива (фр. Maurice Paul Nivat) — французский ученый в области информатики и компьютерных наук. Его исследования охватывают сферу формальных языков, семантики языков программирования и дискретной геометрии. В 2006 г. Мориса Нива, почетного доктора наук, называли отцом теоретической информатики.[1] Был профессором в Университете Париж Дидро до 2001 года.
Ранние годы и образование
Морис Нива родился в Клермон-Ферране, Франция. Его родители были учителями средней школы, его отец преподавал языки, а мать — математику.[2] В 1954 году, Нива со своей семьёй переехал в Париж.[1][2] Нива в 1956 году поступил в Высшую нормальную школу, но начал работать в Институте им. Блеза Паскаля Национального центра научных исследований Франции, недавно созданной вычислительной лаборатории, в 1959 году.[1][2]Он вернулся к изучению математики в 1961 году под руководством Марселя-Поля Шютценберже.[1] Название его диссертации было «Трансдукция языков Хомского»(Transductions des langages de Chomsky).
Карьера
В 1969 году Нива стал профессором в Университете Париж Дидро и преподавал до 2002 года.[3]
Нива принимал участие во многих начинаниях в области теоретической информатики в Европе: он был одним из основателей EATCS в 1972 году, организовал первую конференцию ICALP в том же году в INRIA (тогда — IRIA) в Париже. В 1975 году он был одним из основателей журнала Теоретическая информатика. Он был редактором главного журнала на протяжении более 25 лет.[1]
Награды
C 1983 года Нива был член-корреспондентом Французской академии наук.[2] Является офицером Ордена Почётного легиона и Ордена «За заслуги» (Франция), а также командором Ордена Академических пальм во Франции. Получил награду EATCS в 2002 году. Ему была присуждена степень почетного доктора Болонского университета 1997 году[4] и Университета Квебека в Монреале в 2006 году.[1]
Примечания
- ↑ 1,0 1,1 1,2 1,3 1,4 1,5 L'UQAM remet sept doctorats honoris causa à des personnalités marquantes : Maurice Nivat (недоступная ссылка). Архивировано 3 марта 2016 года.
- ↑ 2,0 2,1 2,2 2,3 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.
- ↑ Nivat, Maurice. EATCS Award Acceptance Speech (англ.) // Theoretical Computer Science. — 2002. — Vol. 78. — P. 213—220.
- ↑ Laurea Honoris Causa in Computer Science from the University of Bologna to Maurice Nivat and Robin Milner. Дата обращения: 22 декабря 2016. Архивировано 23 мая 2016 года.