- Maurice Nivat
-
Maurice Paul Nivat, né le 21 décembre 1937 à Clermont-Ferrand, est un chercheur 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.
Il est membre correspondant de l'Académie des sciences depuis le 11 avril 1983[2].
Officier de la Légion d'honneur et de l'Ordre du Mérite, il est aussi Docteur honoris causa des universités de Bologne[3] et du Québec à Montréal (UQAM)[4].
Nivat a apporté d'importantes contributions à l'informatique théorique. Il a également aidé à la fondation de l'Association européenne pour l'informatique théorique (EATCS), organisé la première ICALP en 1972, et fondé la revue « Theoretical Computer Science » en 1975.
Références et notes
- Maurice Nivat, membre du LIAFA, consulté sur www.liafa.jussieu.fr, le 17 juillet 2010
- Maurice Nivat - Les membres de l'Académie des Sciences, consulté sur www.academie-sciences.fr, le 17 juillet 2010
- 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
Liens externes
- Une brève biographie scientifique de Maurice Nivat
- (en) Publications de Maurice Nivat sur DBLP
- (en) Publications de Maurice Nivat sur ScientificCommons
Catégories :- Personnalité française en informatique
- Personnalité en informatique théorique
- Membre de l'Académie des sciences (France)
- Élève de l'École normale supérieure (rue d'Ulm)
- Officier de la Légion d'honneur
- Officier de l'ordre national du Mérite
- Naissance en 1937
- Naissance à Clermont-Ferrand
- Enseignant de l'université Paris VII
Wikimedia Foundation. 2010.