Maurice Nivat

Maurice Nivat Bild in der Infobox. Maurice Nivat im Jahr 2006. Funktion
Universitätsprofessor
Biografie
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
Andere Informationen
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 .

Biografie

Frühe Jahre und Ausbildung

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.

Werdegang

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

Auszeichnungen

Literaturverzeichnis

Anmerkungen und Referenzen

  1. "  Ciao Maurice  ", binär ,22. September 2017( online lesen , konsultiert am 22. September 2017 ).
  2. Maurice Nivat, Mitglied der LIAFA , konsultiert unter www.liafa.jussieu.fr, le17. Juli 2010.
  3. Maurice Nivat ist Mitautor des Buches Algol, Theorie und Praxis , Gauthier-Villars, 1965
  4. SUDOC 007285353
  5. Pierre-Louis Curien , "  Eine kurze wissenschaftliche Biographie von Maurice Nivat  ", Theoretische Informatik, Vol.  281, 2002), p.  3-23 ( online lesen ), Absatz Einige Daten .
  6. 1997 verschwand das LITP nach einem Konflikt zwischen den Universitäten von Paris VI und Paris VII. Maurice Nivat trat dann dem neu geschaffenen Labor für fundamentale und angewandte algorithmische Informatik (LIAFA) an der Universität von Paris VII bei.
  7. Geschichte der Frühlingsschulen der theoretischen Informatik
  8. Jean-Pierre Crestin, Polytechniker und Waffeningenieur, war Anfang der 1970er Jahre insbesondere Koordinator der französischen IT-Förderstelle (SESORI), dann Professor bei Sup Aéro und Direktor von ENSEEIHT . Er führte theoretische Forschungen und eine Doktorarbeit bei Maurice Nivat durch
  9. Die "Mission Nivat" wird den Bericht Wissen und Know-how in der Informatik erstellen
  10. Maurice Nivat - Mitglieder der Académie des Sciences , konsultiert unter www.academie-sciences.fr, on28. September 2017
  11. Laurea Honoris Causa in Informatik an Maurice Nivat und Robin Milner
  12. UQAM | Nachrichten | UQAM vergibt sieben Ehrendoktorwürden an herausragende Persönlichkeiten: Maurice Nivat
  13. Dekret vom 29. März 2002 über Beförderung und Ernennung
  14. Beförderungs- und Ernennungsdekret

Externe Links