Maurice Nivat

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Nivat.
Maurice Nivat
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Nationalité
Formation
Activités
Fratrie
Autres informations
Domaine
Membre de
Directeur de thèse
Étudiants de thèse
Philippe Flajolet, Luís Monteiro (en), Gérard Huet, Bruno Courcelle (en)Voir et modifier les données sur Wikidata
Distinctions
Liste détaillée

Maurice Paul Nivat, né le à Clermont-Ferrand, est un chercheur français en informatique. 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[1].

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.

Jeunes années et formation[modifier | modifier le code]

Ses parents étaient professeurs de lycée. Son frère Georges Nivat se spécialisera dans les études slaves et sa sœur 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[2]. Il démarre ensuite des recherches patronnées par Marcel-Paul Schützenberger. Sa thèse de doctorat d’État est soutenue en 1967, et il est nommé professeur à l'Université Paris VII en 1969.

Il épouse en 1966 Paule Bettan, professeur de statistiques à l'Université Paris XIII, dont il a trois enfants.

Carrière[modifier | modifier le code]

Maurice Nivat a apporté d'importantes contributions à l'informatique théorique. Au début des années 1970, il travaille à la fois à l'IRIA 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 M-P 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[3].

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 dont Jean-Pierre Crestin assurera l'organisation[4].

Il souhaite avec des amis comme Gilles Kahn convaincre que l'informatique est une science à part entière et non un simple outil au service d'autres disciplines.

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[5].

Il est membre correspondant de l'Académie des sciences depuis le [6].

Officier de la Légion d'honneur, de l'Ordre du Mérite et Commandeur de l'Ordre des palmes académiques, il est également Docteur honoris causa des universités de Bologne[7] et du Québec à Montréal (UQAM)[8].

Notes et références[modifier | modifier le code]

  1. Maurice Nivat, membre du LIAFA, consulté sur www.liafa.jussieu.fr, le
  2. Maurice Nivat est coauteur du livre Algol, théorie et pratique, Gauthier-Villars, 1965
  3. 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
  4. 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'ENSEIHT. Il réalisa des recherches théoriques et une thèse de doctorat avec Maurice Nivat
  5. La "Mission Nivat" produira le rapport Savoir et Savoir-faire en Informatique
  6. Maurice Nivat - Les membres de l'Académie des Sciences, consulté sur www.academie-sciences.fr, le
  7. Laurea Honoris Causa in Computer Science to Maurice Nivat and Robin Milner
  8. UQAM | Nouvelles | L'UQAM remet sept doctorats honoris causa à des personnalités marquantes : Maurice Nivat

Liens externes[modifier | modifier le code]