Maurice Nivat
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Nivat.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9a/Portrait_NIVAT_MAURICE_2006_CIMG2435.jpg/260px-Portrait_NIVAT_MAURICE_2006_CIMG2435.jpg)
Professeur des universités |
---|
Naissance | ![]() Clermont-Ferrand ![]() |
---|---|
Décès | ![]() Sevran ![]() |
Nom de naissance | Maurice Paul Nivat ![]() |
Nationalité | française ![]() |
Formation | Faculté des sciences de Paris (doctorat) (jusqu'en ) Université Grenoble-I École normale supérieure ![]() |
Activités | Informaticien, ingénieur ![]() |
Père | Jean Nivat (d) ![]() |
Fratrie | Georges Nivat Aline Bonami ![]() |
A travaillé pour | |
---|---|
Membre de | Academia Europaea () Académie des sciences ![]() |
Directeur de thèse | |
Distinctions | Liste détaillée Docteur honoris causa de l'université de Bologne () Officier de l'ordre national du Mérite () Prix EATCS () Commandeur des Palmes académiques Officier de la Légion d'honneur ![]() |
modifier - modifier le code - modifier Wikidata
Maurice Paul Nivat, né le à Clermont-Ferrand et mort le à Sevran[1], est un informaticien français.
Professeur à l'université Paris-Diderot et membre du Laboratoire d'informatique algorithmique : fondements et applications (CNRS UMR 7089), il prend sa retraite en 2001 sans arrêter la recherche[2].
Ses travaux portent sur les différents domaines de l'informatique théorique : la théorie des langages formels, la sémantique des langages de programmation et la géométrie discrète.
Biographie
Jeunes années et formation
Ses parents étaient professeurs de lycée. Son frère Georges Nivat se spécialisera dans les études slaves et sa sœur Aline Bonami deviendra mathématicienne spécialiste de l'analyse harmonique. La famille de Maurice Nivat s'établit à Paris en 1954 et, en 1956, Maurice est admis à l’École normale supérieure (sciences). En 1959, il commence des travaux informatiques au centre de calcul du CNRS dirigé par René de Possel en liaison avec Louis Nolin. C'est alors qu'il commence à pratiquer les différents langages de programmation, notamment Algol[3]. Il démarre ensuite des recherches patronnées par Marcel-Paul Schützenberger. Sa thèse de doctorat d'État est soutenue en 1967 à la faculté des sciences de Paris[4], et il est nommé professeur à l'université Paris VII en 1969.
Il a milité pendant toute sa vie professionnelle pour la reconnaissance de l'informatique en tant que science. Il a en particulier œuvré pour que ce soit créée à la fin des années 1970 une section d'informatique du Conseil national des universités, disjointe des mathématiques appliquées et des probabilités.
Il épouse en 1966 Paule Bettan (1939-2023)[5], professeur de statistiques à l'université Paris XIII, dont il a trois enfants[6].
Carrière
Maurice Nivat a apporté d'importantes contributions à l'informatique théorique. Au début des années 1970, il travaille à la fois à l'IRIA (aujourd'hui nommé INRIA), et aux universités de Paris VII et Paris VI. À l'IRIA, en 1971, il crée le projet Sémantique formalisée des langages de programmation, appelé plus tard Théorie de la programmation. Avec Marcel-Paul Schützenberger, il développe une théorie de la programmation basée sur les automates et, en 1972, organise le premier colloque international sur les automates, langages et programmes (ICALP) à l'IRIA. En 1975, il participe à la création du Laboratoire d'informatique théorique et de programmation (LITP) des universités de Paris VII et Paris VI. Il en sera codirecteur jusqu'en 1985[7].
Il participe à la création de l'Association européenne pour l'informatique théorique (EATCS). En 1975, il crée la revue Theoretical Computer Science (TCS) dont il sera rédacteur en chef jusqu'à sa retraite en 2001. Il crée les Écoles de printemps d'informatique théorique[8] dont Jean-Pierre Crestin assurera l'organisation[9].
En 1983, il se fait confier par les pouvoirs publics une mission sur la recherche en informatique. Il demande à Gérard Berry de vice-présider le comité de réflexion qu'il crée[10].
Il est membre correspondant de l'Académie des sciences à partir du [11].
Il est également docteur honoris causa de l'université de Bologne[12] et de l'université du Québec à Montréal (UQAM)[13].
Distinctions
Officier de la Légion d'honneur en 2002 [14]
Officier de l'ordre national du Mérite en 1997 [15]
Commandeur de l'ordre des Palmes académiques
Bibliographie
- Pierre-Louis Curien, « Une brève biographie scientifique de Maurice Nivat, », Theoretical Computer Science, vol. 281, 2002), p. 3-23 (lire en ligne)
- Isabelle Bellin, « Maurice Nivat : une vision à long terme de la recherche en informatique », Interstices, (lire en ligne, consulté le )
- David Larousserie, « La mort de Maurice Nivat, pionnier de la recherche en informatique », Le Monde, (lire en ligne)
- Pierre-Éric Mounier-Kuhn. L’informatique en France de la seconde Guerre Mondiale au Plan Calcul. L’émergence d’une science. Paris, Presses de l’Université Paris-Sorbonne, 2010, en particulier pp. 523–28 et l'entrée « Maurice Nivat » dans l'index.
Notes et références
- ↑ « Ciao Maurice », binaire, (lire en ligne, consulté le ).
- ↑ Maurice Nivat, membre du LIAFA, consulté sur www.liafa.jussieu.fr, le .
- ↑ Maurice Nivat est coauteur du livre Algol, théorie et pratique, Gauthier-Villars, 1965
- ↑ SUDOC 007285353
- ↑ Décès en France, « Mme BETTAN Paule Henriette - Décès en France - Registre des personnes décédées en France depuis 1970 », sur www.deces-en-france.fr (consulté le )
- ↑ Pierre-Louis Curien, « Une brève biographie scientifique de Maurice Nivat, », Theoretical Computer Science, vol. 281, 2002), p. 3-23 (lire en ligne), paragraphe Quelques dates.
- ↑ En 1997, à la suite d'un conflit entre les universités de Paris VI et Paris VII, le LITP disparaît. Maurice Nivat rejoint alors le Laboratoire d'informatique algorithmique fondamentale et appliquée (LIAFA) nouvellement créé à l'université de Paris VII
- ↑ Historique des écoles de printemps d'informatique théorique
- ↑ Jean-Pierre Crestin, polytechnicien et ingénieur de l'armement, fut notamment coordinateur de l'organisme français de financement de l'informatique (SESORI) au début des années 1970, puis professeur à Sup Aéro et directeur de l'ENSEEIHT. Il réalisa des recherches théoriques et une thèse de doctorat avec Maurice Nivat
- ↑ La « Mission Nivat » produira le rapport Savoir et savoir-faire en informatique
- ↑ Maurice Nivat - Les membres de l'Académie des Sciences, consulté sur www.academie-sciences.fr, le
- ↑ Laurea Honoris Causa in Computer Science to Maurice Nivat and Robin Milner
- ↑ UQAM | Nouvelles | L'UQAM remet sept doctorats honoris causa à des personnalités marquantes : Maurice Nivat
- ↑ Décret du 29 mars 2002 portant promotion et nomination
- ↑ Décret portant promotion et nomination
Liens externes
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
- Scopus
- Notice dans un dictionnaire ou une encyclopédie généraliste
:
- Who's Who in France
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- CiNii
- Pays-Bas
- Israël
- NUKAT
- Australie
- Norvège
- Tchéquie
- WorldCat
v · m Lauréats du prix EATCS | |
---|---|
|
Portail de l'informatique théorique
Portail de la France