egyetemi professzor |
---|
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 |
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 .
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.
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).