Notice de personne

  • Notice
Nivat, Maurice (1937-2017) forme internationale

Pays :  France
Langue(s) :  français
Sexe :  Masculin
Responsabilité(s) exercée(s) sur les documents :  Auteur
Naissance :  1937-12-21, Clermont-Ferrand (Puy-de-Dôme, France)
Mort :  2017-09-21, Sevran (Seine-Saint-Denis)

A écrit aussi en anglais.
Informaticien et chercheur en informatique. - Docteur ès sciences mathématique et informatique. - Correspondant de l'Académie des sciences (depuis 1983). - Directeur du Laboratoire informatique théorique et programmation associé au CNRS et aux universités de Paris VI et VII (1975-1985).


Source(s) : 
On the interpretation of recursive program schemes / M. Nivat, 1974 . - Logique et informatique, une introduction / contributions de Serge Grigorieff, Yves Lafont, Thierry Coquand... [et al.] ; réunies et présentées par Bruno Courcelle ; avant-propos de Maurice Nivat, 1991
WW, France 1992-1993 . - Le Monde (article nécrologique), 2017-09-29 . - Société mathématique de France : http://smf.emath.fr/content/d%C3%A9c%C3%A8s-de-maurice-nivat (2017-09-26)



Identifiant international :  ISNI 0000 0001 2122 9574 , cf. http://isni.org/isni/0000000121229574
Notice n° :  FRBNF11917747

Création :  78/06/21
Mise à jour :  17/09/29

Notices bibliographiques liées

Voir les notices liées en tant que : Voir toutes les notices liées (23)