Maurice Nivat

Maurice Nivat Kép az Infoboxban. Maurice Nivat 2006-ban. Funkció
egyetemi professzor
Életrajz
Születés 1937. december 21
Clermont-Ferrand
Halál 2017. szeptember 21(79. évesen)
Sevran
Állampolgárság Francia
Kiképzés École normale supérieure
Université Grenoble-I
Párizsi Természettudományi Kar ( doktori fokozat ) (ig1967)
Tevékenységek Számítástechnikus , mérnök
Testvérek Georges Nivat Aline Bonami
Egyéb információk
Dolgozott valakinek Párizs-Diderot Egyetem
Terület Számítástechnika
Tagja valaminek Tudományos Akadémia
Academia Europaea (1989)
Felügyelő Marcel-Paul Schützenberger
Díjak

Maurice Paul Nivat , született1937. december 21A Clermont-Ferrand és meghalt2017. szeptember 21A Sevran , egy francia számítógépes tudós .

A Paris-Diderot Egyetem professzora és az Algoritmikus Számítástudományi Laboratórium: Alapítványok és alkalmazások ( CNRS UMR 7089) tagja, 2001- ben nyugdíjba vonult, a kutatás leállítása nélkül .

Munkája az elméleti informatika különböző területeire terjed ki  : a formális nyelvek elméletére , a programozási nyelvek szemantikájára és a diszkrét geometriára .

Életrajz

Korai évek és képzés

Szülei középiskolai tanárok voltak. Testvére, Georges Nivat a szláv tanulmányokra szakosodik, húga, Aline Bonami pedig harmonikus elemzésekre szakosodott matematikus lesz. Maurice Nivat családja 1954-ben telepedett le Párizsban, és 1956-ban Maurice-t felvették az École normale supérieure-ba (tudományok). 1959-ben számítógépes munkát kezdett a CNRS számítógépes központjában , amelyet René de Possel irányított Louis Nolinnal együtt. Ekkor kezdte el gyakorolni a különböző programozási nyelveket, különösen az Algolt . Ezután Marcel-Paul Schützenberger által támogatott kutatásokat kezdett . Állami doktori disszertációját 1967-ben védték meg a Párizsi Természettudományi Karon , 1969-ben a Párizs VII Egyetem professzorává nevezték ki .

Szakmai élete során az informatika tudományként való elismeréséért kampányolt. Különösen az 1970-es évek végén dolgozott az Egyetemek Nemzeti Tanácsának informatikai részlegének létrehozásánál , elkülönítve az alkalmazott matematikától és a valószínűségtől.

1966-ban feleségül vette Paule Bettant, a XIII. Párizsi Egyetem statisztikai professzorát , akivel három gyermeke született.

Karrier

Maurice Nivat fontos hozzájárulást adott az elméleti számítástechnikához. A hetvenes évek elején mind az IRIA-nál (ma INRIA néven), mind a Párizs VII és a Párizs VI egyetemeken dolgozott . Az IRIA-nál 1971-ben létrehozta a formalizált programozási nyelvek szemantikája projektet , amelyet később Programozás elmélete néven ismertek . A Marcel-Paul Schützenberger , kidolgozott egy elméletet a programozás alapján automata és 1972-ben szervezte meg az első nemzetközi konferencia automaták, a nyelvek és a programok (ICALP) a IRIA. 1975-ben részt vett a Párizs VII és a Párizs VI egyetemek Elméleti Számítástudományi és Programozási Laboratóriumának (LITP) létrehozásában. 1985-ig társrendező lesz.

Részt vett az Európai Elméleti Számítástechnikai Szövetség (EATCS) létrehozásában. 1975-ben létrehozta a Theoretical Computer Science (TCS) folyóiratot , amelynek főszerkesztője 2001-es nyugdíjba vonulásáig volt. Megalapította az Elméleti Számítástechnika Tavaszi Iskoláit , amelyeket Jean-Pierre Crestin szervezett.

1983-ban az állami hatóságok megbízást adtak rá a számítógépes kutatás területén. Megkéri Gérard Berry-t, hogy az általa létrehozott agytröszt alelnök legyen.

Ő egy levelező tagja Tudományos Akadémia származó 1983. április 11.

Ugyancsak Doctor Honoris Causa a Bolognai Egyetem és a University of Quebec Montreal (UQAM).

Díjak

Bibliográfia

Megjegyzések és hivatkozások

  1. "  Ciao Maurice  ", bináris ,2017. szeptember 22( online olvasás , konzultáció 2017. szeptember 22-én ).
  2. Maurice Nivat, a LIAFA tagja konzultált a www.liafa.jussieu.fr címen 2010. július 17.
  3. Maurice Nivat társszerzője az Algol, elmélet és gyakorlat című könyvnek , Gauthier-Villars, 1965
  4. SUDOC 007285353
  5. Pierre-Louis Curien , "  Maurice Nivat rövid tudományos életrajza  ", Elméleti informatika, vol.  281., 2002), p.  3–23 ( online olvasás ), bekezdés Néhány dátum .
  6. 1997-ben a Párizs VI és a Párizs VII egyetemek közötti konfliktus nyomán a LITP eltűnt. Maurice Nivat ezután csatlakozott a Párizsi Egyetemen újonnan létrehozott Alapvető és Alkalmazott Algoritmikus Informatikai Laboratóriumhoz (LIAFA).
  7. A számítástechnika tavaszi iskoláinak története
  8. Jean-Pierre Crestin politechnikus és fegyvermérnök az 1970-es évek elején nevezetesen a francia informatikai finanszírozó testület (SESORI) koordinátora volt, majd a Sup Aéro professzora és az ENSEEIHT igazgatója . Elméleti kutatásokat és doktori disszertációt végzett Maurice Nivat-nál
  9. A "Mission Nivat" jelentést készít a számítástechnika tudásáról és know-how- járól
  10. Maurice Nivat - az Académie des Sciences tagjai , konzultáció a www.academie-sciences.fr címen 2017. szeptember 28
  11. Laurea Honoris Causa a számítástechnikában Maurice Nivatnak és Robin Milnernek
  12. UQAM | Hírek | Az UQAM hét díszdoktori címet adományoz kiemelkedő személyiségeknek: Maurice Nivatnak
  13. 2002. március 29-i rendelet az előléptetésről és kinevezésről
  14. Rendelet az előléptetésről és kinevezésről

Külső linkek