Морис Ниват
Морис Ниват | |
|---|---|
 Ниват в 2006 году | |
| Рожденный | 21 декабря 1937 г. |
| Умер | 21 сентября 2017 г. (79 лет) |
| Национальность | Французский |
| Альма-матер | Университет Жозефа Фурье |
| Известный | Теоретическая информатика |
| Награды | |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Парижский университет |
| Диссертация | Трансдукции языков Хомского (1967) |
| Докторантура | Марсель-Поль Шютценбергер |
| Докторанты | Бруно Курсель Филипп Флажоле Жерар Юэ |
Морис Поль Нива (21 декабря 1937 — 21 сентября 2017) — французский учёный-компьютерщик . Его исследования в области информатики охватывали области формальных языков , семантики языков программирования и дискретной геометрии . В 2006 году Ниват был удостоен звания почетного доктора (Ph.D.) и назван одним из отцов теоретической информатики . [1] До 2001 года он был профессором Парижского университета Дидро .
Молодость образование и
Ниват родился в Клермон-Ферране , Франция. Его родители были учителями средней школы; его отец преподавал языки, а мать преподавала математику. Его сестра Алина стала известным математиком. [2] В 1954 году Ниват переехал с семьей в Париж. [2] Ниват был принят в Высшую нормальную школу в 1956 году, но в 1959 году начал работать в Институте Блеза Паскаля Французского национального центра научных исследований , недавно созданной вычислительной лаборатории. [1] [2] Он вернулся к изучению математики в 1961 году под руководством Марселя-Поля Шютценбергера . [1] Его диссертация 1967 года называлась Transductions des langages de Chomsky (« Трансдукции языков Хомского »).
Карьера [ править ]
В 1969 году Ниват стал профессором Парижского университета Дидро и преподавал до 2002 года. [3] Он оставался почетным профессором до своей смерти в 2017 году.
Он участвовал во многих начинаниях в области теоретической информатики в Европе: он был одним из основателей Европейской ассоциации теоретической информатики (EATCS) в 1972 году и организовал первый Международный коллоквиум по автоматам, языкам и программированию (ICALP) в конференции в том же году во Французском институте исследований в области компьютерных наук и автоматизации (INRIA, тогда называвшемся IRIA) в Париже. В 1975 году он был основателем журнала Theoretical Computer Science . Он был главным редактором журнала более 25 лет. [1]
Он был членом Международной федерации обработки информации (IFIP) Рабочей группы 2.1 по алгоритмическим языкам и исчислениям. [4] который определил , поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68 . [5]
Награды [ править ]
С 1983 года Ниват был членом-корреспондентом Французской академии наук . [2] Нива также был офицером Ордена Почетного легиона и Национального ордена за заслуги , а также командующим Ордена академических пальм во Франции. Ниват получил награду EATCS в 2002 году. Он получил степень почетного доктора Болонского университета в 1997 году. [6] и Университет Квебека в Монреале в 2006 году. [1]
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б с д и «UQAM присуждает семь почетных докторских степеней известным личностям: Морис Нива» . Архивировано из оригинала 3 марта 2016 г. Проверено 4 сентября 2017 г.
- ^ Jump up to: Перейти обратно: а б с д Кюрьен, Пьер-Луи (2002). «Краткая научная биография Мориса Нива». Теоретическая информатика . 281 (1–2): 3–23. дои : 10.1016/S0304-3975(02)00004-X .
- ^ Ниват, Морис (2002). «Речь о вручении награды EATCS». Бюллетень Европейской ассоциации теоретической информатики . 78 : 213–220.
- ^ Юринг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 4 июня 2021 г.
- ^ Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 4 июня 2021 г.
- ^ «Laurea Honoris Causa в области компьютерных наук от Болонского университета Морису Нивату и Робину Милнеру» .
Алгол -программирование |
|---|
