Maurice Nivat

Maurice Nivat ( born December 21, 1937 in Clermont- Ferrand ) is a French computer scientist.

Nivat was the son of teachers (his mother was a math teacher) and moved to Paris with his parents in 1954. He studied from 1956 at the École Normale Superieure, worked from 1959 at the newly founded Computer Laboratory of the CNRS, the Blaise Pascal Institute, and was founded in 1967 by Marcel -Paul Schützenberger at the University of Grenoble in Mathematics PhD ( Thèse d'Etat, Transduction of langages de Chomsky ). From 1965, he held positions at the University of Grenoble and then at the University of Rennes. He was since 1969 a professor at the University of Paris, and later the University of Paris VII ( Denis Diderot ), where he then further inquired emeritus in 2001, but. In the 1970s, he also built a number of research groups at the IRIA ( Institut de Recherche en Informatique et Automatique, founded in 1967, later INRIA ) and later at the Universities of Paris 6 and 7 with Schützenberger and Louis Nolin. He was in 1975 one of the founders of the Laboratoire d' Informatique théorique et Programmation ( LITP ) and until 1985 its Co-Director.

Nivat deals with formal language theory, semantics of programming languages ​​and discrete geometry.

In 1983 he became a corresponding member of the Academie des Sciences. He is a founding member of the EATCS ( with Jaco de Bakker, Corrado Böhm, Mike Paterson ) and 1975 was one of the founders of the journal Theoretical Computer Science. He holds honorary doctorates from the Université de Québéc in Montreal and the University of Bologna, Officer of the Legion of Honour Ordre du Mérite and the.

In 2002 he received the EATCS Award.

He is married with Paule Nivat, Professor of Statistics at the University of Paris 13 His younger sister Alice Bonami is a mathematician.