Niva, Maurice
| Maurice Niva | |
|---|---|
| Maurice Nivat | |
| Jméno při narození | fr. Maurice Paul Nivat [1] |
| Datum narození | 21. prosince 1937 [1] |
| Místo narození | Clermont-Ferrand |
| Datum úmrtí | 21. září 2017 [2] [3] [1] (79 let) |
| Místo smrti | |
| Země | |
| Vědecká sféra | Informatika |
| Místo výkonu práce | pařížské univerzitě |
| Alma mater | Univerzita v Grenoblu 1 |
| Akademický titul | PhD [4] ( 1967 ) |
| vědecký poradce | Marcel-Paul Schutzenberger |
| Studenti | Luis Fariñas del Cerro [d] [5], Guy Vidal-Naquet [d] [5], Jean-Jacques Lévy [d] [5]a Luc Boasson [d] [5] |
| Ocenění a ceny | Cena Evropské asociace pro teoretickou informatiku [d] ( 2002 ) čestný doktorát z univerzity v Bologni [d] ( 1997 ) |
| Mediální soubory na Wikimedia Commons | |
Maurice Paul Nivat ( fr. Maurice Paul Nivat ) je francouzský počítačový vědec a počítačový vědec. Jeho výzkum pokrývá oblast formálních jazyků , sémantiky programovacích jazyků a diskrétní geometrie . V roce 2006 byl Maurice Neave, čestný doktor věd, nazýván otcem teoretické informatiky . [6] Do roku 2001 byl profesorem na Paris Diderot University .
Raná léta a vzdělání
Maurice Niva se narodil v Clermont-Ferrand ve Francii. Jeho rodiče byli učitelé na střední škole, jeho otec učil jazyky a jeho matka učila matematiku. [7] V roce 1954 se Niva se svou rodinou přestěhoval do Paříže. [6] [7] Niva v roce 1956 vstoupila na Vyšší normální školu , ale začala pracovat v Institutu. Blaise Pascal z Národního centra pro vědecký výzkum Francie , nově založené počítačové laboratoře, v roce 1959. [6] [7] Ke studiu matematiky se vrátil v roce 1961 pod vedením Marcela-Paula Schützenbergera. [6] Název jeho práce byl Transductions des langages de Chomsky .
Kariéra
V roce 1969 se Niva stal profesorem na Paris Diderot University a učil až do roku 2002. [osm]
Niva se podílel na mnoha iniciativách v oblasti teoretické informatiky v Evropě: byl jedním ze zakladatelů EATCS v roce 1972, zorganizoval první konferenci ICALPtéhož roku na INRIA (tehdy IRIA) v Paříži. V roce 1975 byl jedním ze zakladatelů časopisu Theoretical Computer Science. Více než 25 let byl redaktorem hlavního časopisu. [6]
Ocenění
Od roku 1983 je Niva členem korespondentem Francouzské akademie věd . [7] Je důstojníkem Čestné legie a Řádu za zásluhy (Francie) a také velitelem Řádu akademických palem ve Francii. V roce 2002 obdržel ocenění EATCS . Získal čestný doktorát z University of Bologna v roce 1997 [9] a z University of Quebec v Montrealu v roce 2006. [6]
Poznámky
- ↑ 1 2 3 4 Fichier des personnes décédées
- ↑ http://binaire.blog.lemonde.fr/2017/09/22/ciao-maurice/
- ↑ http://www.amitiefrancecoree.org/2017/09/les-notres-disparition-du-chercheur-maurice-nivat.html
- ↑ http://www.sudoc.fr/007285353
- ↑ 1 2 3 4 Matematická genealogie (anglicky) - 1997.
- ↑ 1 2 3 4 5 6 L'UQAM remet sept doctorats honoris à des personnalités marquantes: Maurice Nivat (odkaz není k dispozici) . Archivováno z originálu 3. března 2016.
- ↑ 1 2 3 4 Curien, Pierre-Louis. Une breve biographie scientifique de Maurice Nivat (anglicky) // Teoretická informatika . - 2002. - Sv. 281 . - str. 3-23 . - doi : 10.1016/S0304-3975(02)00004-X .
- ↑ Nivat, Maurice. Projev o přijetí ceny EATCS // Teoretická informatika. - 2002. - Sv. 78 . - S. 213-220 .
- ↑ Laurea Honoris Causa v informatice z Boloňské univerzity Maurice Nivatovi a Robinu Milnerovi . Získáno 22. prosince 2016. Archivováno z originálu 23. května 2016.
 Tematické stránky | ||||
|---|---|---|---|---|
| ||||