Maurice Nivat
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant une personne.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
Maurice Paul Nivat (né le 21 décembre 1937 à Clermont-Ferrand) est professeur à l'Université de Paris VII. Ses travaux portent sur les différents domaines de l'informatique théorique : Théorie des langages formels, sémantique des langages de programmation et géométrie discrète.
Il est membre correspondant de l'académie des sciences depuis le 11 avril 1983.
Officier de la Légion d'honneur et de l'Ordre du Mérite. Docteur honoris causa des universités de Bologne[1] et du Québec à Montréal (UQAM)[2].
