Niva, Maurice
| Maurice Niva | |
|---|---|
| Maurice Nivat | |
| Születési név | fr. Maurice Paul Nivat [1] |
| Születési dátum | 1937. december 21. [1] |
| Születési hely | Clermont-Ferrand |
| Halál dátuma | 2017. szeptember 21. [2] [3] [1] (79 éves) |
| A halál helye | |
| Ország | |
| Tudományos szféra | Informatika |
| Munkavégzés helye | Párizsi Egyetem |
| alma Mater | Grenoble-i Egyetem 1 |
| Akadémiai fokozat | PhD [4] ( 1967 ) |
| tudományos tanácsadója | Marcel-Paul Schutzenberger |
| Diákok | Luis Fariñas del Cerro [d] [5], Guy Vidal-Naquet [d] [5], Jean-Jacques Lévy [d] [5]és Luc Boasson [d] [5] |
| Díjak és díjak | Európai Számítástechnikai Elméleti Szövetség Díja [d] ( 2002 ) a Bolognai Egyetem tiszteletbeli doktora [d] ( 1997 ) |
| Médiafájlok a Wikimedia Commons oldalon | |
Maurice Paul Nivat ( fr. Maurice Paul Nivat ) francia informatikus és informatikus. Kutatásai a formális nyelvek , a programozási nyelvek szemantikája és a diszkrét geometria területére terjednek ki . 2006-ban Maurice Neave-t, a tudomány tiszteletbeli doktorát az elméleti számítástechnika atyjának nevezték . [6] 2001-ig a Paris Diderot Egyetem professzora volt .
Korai évek és oktatás
Maurice Niva a franciaországi Clermont-Ferrandban született . Szülei középiskolai tanárok voltak, apja nyelveket, anyja matematikát tanított. [7] 1954-ben Niva Párizsba költözött családjával. [6] [7] Niva 1956-ban belépett a Higher Normal Schoolba , de az Intézetben kezdett dolgozni. Blaise Pascal , a National Center for Scientific Research of France , egy újonnan létrehozott számítástechnikai laboratórium, 1959-ben. [6] [7] 1961-ben tért vissza a matematika tanulmányaihoz Marcel-Paul Schützenberger vezetésével. [6] Szakdolgozatának címe Transductions des langages de Chomsky volt .
Karrier
1969-ben Niva a Paris Diderot Egyetem professzora lett, és 2002-ig tanított. [nyolc]
Niva számos kezdeményezésben vett részt az elméleti számítástechnika területén Európában: az EATCS egyik alapítója volt 1972-ben, megszervezte az első ICALP konferenciát.ugyanebben az évben a párizsi INRIA -ban (akkor IRIA). 1975-ben az Theoretical Computer Science című folyóirat egyik alapítója volt. Több mint 25 évig volt a fő folyóirat szerkesztője. [6]
Díjak
1983 óta Niva a Francia Tudományos Akadémia levelező tagja . [7] A Becsületlégió és a Becsületrend (Franciaország) tisztje , valamint az Akadémiai Pálmarend parancsnoka Franciaországban. 2002-ben megkapta az EATCS díjat. A Bolognai Egyetemen 1997 -ben [9] , a montreali Quebeci Egyetemen pedig 2006-ban tiszteletbeli doktori címet kapott . [6]
Jegyzetek
- ↑ 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 Matematikai genealógia (angol) - 1997.
- ↑ 1 2 3 4 5 6 L'UQAM remet sept doctorats honoris causa à des personalités marquantes: Maurice Nivat (hivatkozás nem érhető el) . Az eredetiből archiválva: 2016. március 3.
- ↑ 1 2 3 4 Curien, Pierre-Louis. Une breve biographie scientifique de Maurice Nivat (angol) // Theoretical Computer Science . - 2002. - 20. évf. 281 . - P. 3-23 . - doi : 10.1016/S0304-3975(02)00004-X .
- ↑ Nivat, Maurice. EATCS-díjátadó beszéd // Elméleti számítástechnika. - 2002. - 20. évf. 78 . - P. 213-220 .
- ↑ Laurea Honoris Causa számítástechnikában a Bolognai Egyetemtől Maurice Nivatig és Robin Milnerig . Letöltve: 2016. december 22. Az eredetiből archiválva : 2016. május 23.
 Tematikus oldalak | ||||
|---|---|---|---|---|
| ||||