Maurice Nivat - Définition
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].
