Maurice Nivat - Maurice Nivat
Maurice Nivat | |
---|---|
![]() Nivat v roce 2006 | |
narozený | |
Zemřel | 21. září 2017 | (ve věku 79)
Národnost | francouzština |
Alma mater | Univerzita Josepha Fouriera |
Známý jako | Teoretická informatika |
Ocenění | |
Vědecká kariéra | |
Pole | Počítačová věda |
Instituce | University of Paris |
Teze | Transdukce z Chomsky jazyky (1967) |
Doktorský poradce | Marcel-Paul Schützenberger |
Doktorandi | Bruno Courcelle Philippe Flajolet Gérard Huet |
Maurice Paul Nivat (21. prosince 1937-21. Září 2017) byl Francouz počítačový vědec. Jeho výzkum v počítačová věda překlenul oblasti formální jazyky, sémantika programovacího jazyka, a diskrétní geometrie. Citace z roku 2006 pro čestného doktorát (Ph.D.) nazval Nivata jedním z otců teoretická informatika.[1] Byl Profesor na University Paris Diderot do roku 2001.
raný život a vzdělávání
Nivat se narodil v Clermont-Ferrand, Francie. Jeho rodiče byli učitelé na střední škole; jeho otec učil jazyky, zatímco jeho matka matematiku. Jeho sestra, Aline, se stal významným matematikem.[2]V roce 1954 se Nivat s rodinou přestěhoval do Paříže.[2] Nivat byl přijat do École Normale Supérieure v roce 1956, ale začal pracovat na Blaise Pascal Institute of the Francouzské národní centrum pro vědecký výzkum, nově založená výpočetní laboratoř, v roce 1959.[1][2] V roce 1961 se vrátil ke studiu matematiky pod vedením Marcel-Paul Schützenberger.[1] Jeho práce z roku 1967 byla oprávněná Transdukce des langages de Chomsky "("Transdukce z Chomsky jazyky ").
Kariéra
V roce 1969 se Nivat stal profesorem na Paris Diderot University a učil do roku 2002.[3] Jako emeritní profesor zůstal až do své smrti v roce 2017.
Podílel se na mnoha snahách o teoretickou informatiku v Evropě: byl jedním ze zakladatelů Evropská asociace pro teoretickou informatiku (EATCS) v roce 1972 a uspořádal první Mezinárodní kolokvium o automatech, jazycích a programování Konference (ICALP) ve stejném roce v Francouzský institut pro výzkum v informatice a automatizaci (INRIA, pak nazývaná IRIA) v Paříži. V roce 1975 byl zakladatelem časopisu Teoretická informatika. Byl více než 25 let šéfredaktorem časopisu.[1]
Byl členem Mezinárodní federace pro zpracování informací (IFIP) Pracovní skupina IFIP 2.1 o algoritmických jazycích a výpočtech,[4] který specifikováno, podporuje a udržuje programovací jazyky ALGOL 60 a ALGOL 68.[5]
Ocenění
Od roku 1983 byl Nivat odpovídajícím členem Francouzská akademie věd.[2] Nivat byl také důstojníkem obou Legion d'honneur a Ordre national du Mérite a velitel Ordre des Palmes Académiques ve Francii. Nivat vyhrál EATCS cenu v roce 2002. Získal čestné doktoráty od Boloňská univerzita v roce 1997[6] a University of Quebec v Montrealu v roce 2006.[1]
Reference
- ^ A b C d E „L'UQAM remet sept doctorats honoris causa à des personnalités marquantes: Maurice Nivat“. Archivovány od originál dne 03.03.2016. Citováno 2017-09-04.
- ^ A b C d Curien, Pierre-Louis (2002). „Une breve biographie scientifique de Maurice Nivat“. Teoretická informatika. 281 (1–2): 3–23. doi:10.1016 / S0304-3975 (02) 00004-X.
- ^ Nivat, Maurice (2002). „Řeč o přijetí ceny EATCS“. Bulletin Evropské asociace teoretické informatiky. 78: 213–220.
- ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (2016-08-17). „Profil pracovní skupiny IFIP 2.1“. Foswiki. Citováno 2020-09-02.
- ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2011-03-02). „ScopeEtc: IFIP21: Foswiki“. Foswiki. Citováno 2020-09-02.
- ^ „Laurea Honoris Causa v informatice od Boloňské univerzity po Maurice Nivata a Robina Milnera“.