Universitätsprofessor |
---|
Geburt |
21. Dezember 1937 Clermont-Ferrand |
---|---|
Tod |
21. September 2017(bei 79) Sevran |
Staatsangehörigkeit | Französisch |
Ausbildung |
École normale supérieure Université Grenoble-I Fakultät für Naturwissenschaften von Paris ( Promotion ) (bis1967) |
Aktivitäten | Informatiker , Ingenieur |
Geschwister |
Georges Nivat Aline Bonami |
Arbeitete für | Paris-Diderot Universität |
---|---|
Feld | Informatik |
Mitglied von |
Akademie der Wissenschaften Academia Europaea (1989) |
Supervisor | Marcel-Paul Schützenberger |
Auszeichnungen |
Maurice Paul Nivat , geboren am21. Dezember 1937in Clermont-Ferrand und starb am21. September 2017in Sevran ist ein französischer Informatiker .
Professor an der Paris-Diderot - Universität und Mitglied des algorithmischen Informatik Labor: Grundlagen und Anwendungen ( CNRS UMR 7089), zog er sich in 2001 ohne Unterbrechung Forschung .
Seine Arbeit deckt die verschiedenen Bereiche der theoretischen Informatik ab : die Theorie der formalen Sprachen , die Semantik der Programmiersprachen und die diskrete Geometrie .
Ihre Eltern waren Gymnasiallehrer. Sein Bruder Georges Nivat wird sich auf slawische Studien spezialisieren und seine Schwester Aline Bonami wird Mathematikerin, die sich auf harmonische Analysen spezialisiert hat. Die Familie von Maurice Nivat ließ sich 1954 in Paris nieder und 1956 wurde Maurice in die École normale supérieure (Wissenschaften) aufgenommen. 1959 begann er mit der Computerarbeit im CNRS- Rechenzentrum unter der Leitung von René de Possel in Zusammenarbeit mit Louis Nolin. Zu diesem Zeitpunkt begann er verschiedene Programmiersprachen zu üben, insbesondere Algol . Anschließend begann er mit der von Marcel-Paul Schützenberger geförderten Forschung . Seine staatliche Doktorarbeit wurde 1967 an der Pariser Fakultät für Naturwissenschaften verteidigt und 1969 zum Professor an der Universität Paris VII ernannt.
Er hat sich während seines gesamten Berufslebens für die Anerkennung der Informatik als Wissenschaft eingesetzt. Insbesondere arbeitete er Ende der 1970er Jahre für die Schaffung einer Informatikabteilung des Nationalen Universitätsrates , die von angewandter Mathematik und Wahrscheinlichkeit getrennt war.
1966 heiratete er Paule Bettan, Professor für Statistik an der Universität Paris XIII , mit der er drei Kinder hatte.
Maurice Nivat leistete wichtige Beiträge zur theoretischen Informatik. In den frühen 1970er Jahren arbeitete er sowohl bei IRIA (heute INRIA) als auch an den Universitäten von Paris VII und Paris VI. 1971 schuf er an der IRIA das formalisierte Projekt Semantik der Programmiersprachen , das später als Theorie der Programmierung bezeichnet wurde . Mit Marcel-Paul Schützenberger entwickelte er eine auf Automaten basierende Programmiertheorie und organisierte 1972 die erste internationale Konferenz über Automaten, Sprachen und Programme (ICALP) bei IRIA. 1975 war er an der Gründung des Labors für Theoretische Informatik und Programmierung (LITP) der Universitäten Paris VII und Paris VI beteiligt. Er wird bis 1985 Co-Direktor sein.
Er war an der Gründung der Europäischen Vereinigung für Theoretisches Rechnen (EATCS) beteiligt. 1975 gründete er die Zeitschrift Theoretical Computer Science (TCS), deren Chefredakteur er bis zu seiner Pensionierung im Jahr 2001 war. Er gründete die Spring Schools of Theoretical Computer Science, die Jean-Pierre Crestin organisieren sollte.
1983 wurde er von den Behörden mit einem Auftrag zur Computerforschung beauftragt. Er bittet Gérard Berry , den von ihm geschaffenen Think Tank zu leiten.
Er ist korrespondierendes Mitglied der Akademie der Wissenschaften von11. April 1983.
Es ist auch Doktor Honoris Causa von der Universität von Bologna und der Universität von Quebec in Montreal (UQAM).