Maurice Nivat
Maurice Nivat (born December 21, 1937 in Clermont-Ferrand ; † September 21, 2017 ) was a French computer scientist .
Life
Nivat was the son of teachers (his mother was a math teacher) and moved to Paris with his parents in 1954. From 1956 he studied at the École Normale Superieure , from 1959 worked at the newly founded computer laboratory of the CNRS , the Blaise Pascal Institute, and received his doctorate in mathematics under Marcel-Paul Schützenberger at the University of Grenoble in 1967 (Thèse d'Etat, Transduction des langages de Chomsky ). From 1965 he held positions at the University of Grenoble and then at the University of Rennes . Since 1969 he was a professor at the University of Paris, later at the University of Paris VII (Denis Diderot), where he retired in 2001, but continued his research afterwards. In the 1970s he also set up various 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. In 1975 he was one of the founders of the Laboratoire d´Informatique Théorique et Programmation (LITP) and until 1985 its co-director.
Nivat dealt with the theory of formal languages, semantics of programming languages and discrete geometry.
In 1983 he became a corresponding member of the Académie des sciences and in 1989 a full member of the Academia Europaea . He is a founding member of EATCS (with Jaco de Bakker , Corrado Böhm , Mike Paterson ) and was one of the founders of Theoretical Computer Science in 1975. He was an honorary doctor of the Université de Québéc in Montreal and the University of Bologna , an officer in the Legion of Honor and the Ordre du Mérite .
In 2002 he received the EATCS Award .
He was married to Paule Nivat, professor of statistics at the University of Paris 13. His younger sister Alice Bonami is a mathematician.
Web links
Individual evidence
- ^ Obituary , accessed September 22, 2017
- ^ Mathematics Genealogy Project
| personal data | |
|---|---|
| SURNAME | Nivat, Maurice |
| BRIEF DESCRIPTION | French computer scientist |
| DATE OF BIRTH | December 21, 1937 |
| PLACE OF BIRTH | Clermont-Ferrand |
| DATE OF DEATH | September 21, 2017 |