Accueil       Sociétés savantes    Annuaire prosopographique : recherche    NIVAT Maurice Paul

NIVAT Maurice Paul

Naissance: 21 décembre 1937 à Clermont-Ferrand (Puy-de-Dôme) - Décès: 21 septembre 2017 à Sevran (Seine-Saint-Denis)

Société(s)
Academia europaea, 1989-2017
Académie des sciences : correspondant dans la section des Sciences mécaniques , 1983-2017
Association européenne d'informatique théorique : membre fondateur, 1972-2017
Biographie

Association d'amitié franco-coréenne
Maurice Nivat est informaticien français.

Parents professeurs de lycée, père normalien. Frère du slavisant George Nivat et de la mathématicienne Aline Bonami.

Normalien en 1956, Maurice Nivat fut maître-assistant à la Faculté des sciences de Paris en 1961, maître de conférences à l’université de Grenoble en 1965, puis à l’université de Rennes en 1967. Après sa thèse d’État à l’université de Paris en 1967, il fut professeur à... (lire la suite...)
Sources biographiques
- Huet Gérard, "Notice nécrologique", Académie des Sciences - Curien Pierre-Louis, "Maurice Nivat, une grande figure", Bulletin de la Société informatique de France, 12, juin 2018
Bibliographie
Foundations of Software Science and Computation Structures (1998)
"Algebraic Methodology and Software Technology" (1996) de Martin Wirsing avec Maurice Nivat (1937-2017) comme Éditeur scientifique
"Algebraic Methodology and Software Technology" (1995) de V. S. Alagar avec Maurice Nivat (1937-2017) comme Éditeur scientifique
"Tree automata and languages" (1992) de Andreas Podelski avec Maurice Nivat (1937-2017) comme Éditeur scientifique
"Parallel Image Analysis"... (lire la suite...)
Ressources