www.wikidata.de-de.nina.az

Maurice Nivat 21 Dezember 1937 in Clermont Ferrand 21 September 2017 1 war ein französischer Informatiker 2006Leben Bear

Maurice Nivat

Maurice Nivat (* 21. Dezember 1937 in Clermont-Ferrand; † 21. September 2017) war ein französischer Informatiker.

Maurice Nivat, 2006

Leben Bearbeiten

Nivat war der Sohn von Lehrern (seine Mutter war Mathematiklehrerin) und zog mit seinen Eltern 1954 nach Paris. Er studierte ab 1956 an der École Normale Superieure, arbeitete ab 1959 am neu gegründeten Computer Labor des CNRS, dem Blaise Pascal Institut, und wurde 1967 bei Marcel-Paul Schützenberger an der Universität Grenoble in Mathematik promoviert (Thèse d´Etat, Transduction des langages de Chomsky). Ab 1965 hatte er Positionen an der Universität Grenoble und dann an der Universität Rennes. Er war seit 1969 Professor an der Universität Paris, später der Universität Paris VII (Denis Diderot), an der er 2001 emeritierte, aber danach noch weiter forschte. In den 1970er Jahren baute er auch verschiedene Forschungsgruppen an der IRIA (Institut de Recherche en Informatique et Automatique, gegründet 1967, später INRIA) auf und später an den Universitäten Paris 6 und 7 mit Schützenberger und Louis Nolin. Er war 1975 einer der Gründer des Laboratoire d´Informatique Théorique et Programmation (LITP) und bis 1985 dessen Ko-Direktor.

Nivat befasste sich mit Theorie formaler Sprachen, Semantik von Programmiersprachen und Diskreter Geometrie.

1983 wurde er korrespondierendes Mitglied der Académie des sciences und 1989 ordentliches Mitglied der Academia Europaea. Er ist Gründungsmitglied der EATCS (mit Jaco de Bakker, Corrado Böhm, Mike Paterson) und war 1975 einer der Gründer der Zeitschrift Theoretical Computer Science. Er war Ehrendoktor der Université de Québéc in Montreal und der Universität Bologna, Offizier der Ehrenlegion und des Ordre du Mérite.

2002 erhielt er den EATCS-Award.

Er war mit Paule Nivat verheiratet, Professorin für Statistik an der Universität Paris 13. Seine jüngere Schwester Alice Bonami ist Mathematikerin.

Weblinks Bearbeiten

Einzelnachweise Bearbeiten

  1. Nachruf, abgerufen am 22. September 2017
  2. Mathematics Genealogy Project
Personendaten
NAME Nivat, Maurice
KURZBESCHREIBUNG französischer Informatiker
GEBURTSDATUM 21. Dezember 1937
GEBURTSORT Clermont-Ferrand
STERBEDATUM 21. September 2017
wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
Maurice Nivat 21 Dezember 1937 in Clermont Ferrand 21 September 2017 1 war ein franzosischer Informatiker Maurice Nivat 2006Leben BearbeitenNivat war der Sohn von Lehrern seine Mutter war Mathematiklehrerin und zog mit seinen Eltern 1954 nach Paris Er studierte ab 1956 an der Ecole Normale Superieure arbeitete ab 1959 am neu gegrundeten Computer Labor des CNRS dem Blaise Pascal Institut und wurde 1967 bei Marcel Paul Schutzenberger an der Universitat Grenoble in Mathematik promoviert These d Etat Transduction des langages de Chomsky 2 Ab 1965 hatte er Positionen an der Universitat Grenoble und dann an der Universitat Rennes Er war seit 1969 Professor an der Universitat Paris spater der Universitat Paris VII Denis Diderot an der er 2001 emeritierte aber danach noch weiter forschte In den 1970er Jahren baute er auch verschiedene Forschungsgruppen an der IRIA Institut de Recherche en Informatique et Automatique gegrundet 1967 spater INRIA auf und spater an den Universitaten Paris 6 und 7 mit Schutzenberger und Louis Nolin Er war 1975 einer der Grunder des Laboratoire d Informatique Theorique et Programmation LITP und bis 1985 dessen Ko Direktor Nivat befasste sich mit Theorie formaler Sprachen Semantik von Programmiersprachen und Diskreter Geometrie 1983 wurde er korrespondierendes Mitglied der Academie des sciences und 1989 ordentliches Mitglied der Academia Europaea Er ist Grundungsmitglied der EATCS mit Jaco de Bakker Corrado Bohm Mike Paterson und war 1975 einer der Grunder der Zeitschrift Theoretical Computer Science Er war Ehrendoktor der Universite de Quebec in Montreal und der Universitat Bologna Offizier der Ehrenlegion und des Ordre du Merite 2002 erhielt er den EATCS Award Er war mit Paule Nivat verheiratet Professorin fur Statistik an der Universitat Paris 13 Seine jungere Schwester Alice Bonami ist Mathematikerin Weblinks BearbeitenBiographie franzosisch PostscriptEinzelnachweise Bearbeiten Nachruf abgerufen am 22 September 2017 Mathematics Genealogy ProjectNormdaten Person GND 1079124632 lobid OGND AKS LCCN n84076250 VIAF 19682034 Wikipedia Personensuche PersonendatenNAME Nivat MauriceKURZBESCHREIBUNG franzosischer InformatikerGEBURTSDATUM 21 Dezember 1937GEBURTSORT Clermont FerrandSTERBEDATUM 21 September 2017 Abgerufen von https de wikipedia org w index php title Maurice Nivat amp oldid 233091666