Hommage à Maurice Nivat, infatigable défenseur de la science informatique

Maurice Nivat (1937-2017) est l'une des figures majeures de l'informatique théorique française. Après ses études à l'École Normale Supérieure et une thèse dirigée par Marcel-Paul Schützenberger en 1967, il devient professeur à l'Université Paris VII en 1969. En 1970, il cofonde le laboratoire d'informatique théorique et de programmation, et en 1975, fonde la revue *Theoretical Computer Science* dont il assure la direction éditoriale jusqu'à sa retraite en 2001. Ses travaux portent notamment sur la théorie des langages de programmation, la sémantique des langages et la géométrie discrète—domaines qui fondent la compilation et les automates modernes. La « Conjecture de Nivat » (1997), qui généralise le théorème de Morse-Hedlund en dimension 2, reste un jalon majeur de ce champ.

Après sa retraite, Nivat se consacre entièrement à un combat politique : l'inscription obligatoire de l'informatique dans l'enseignement français. Il adresse trois lettres ouvertes successives aux présidents Sarkozy (2007) et Hollande (2014), ainsi qu'à la ministre Vallaud-Belkacem (2015), en tandem avec ses confrères chercheurs. Si ces efforts aboutissent partiellement—intégration des outils numériques au primaire et collège—Nivat n'obtient pas son objectif ultime : la création d'un corps agrégé et capésien d'enseignants informaticiens formés au niveau bac+5, condition qu'il juge indispensable pour une véritable qualité pédagogique.