# Maurice Nivat

> French computer scientist (1937–2017)

**Wikidata**: [Q3301202](https://www.wikidata.org/wiki/Q3301202)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Maurice_Nivat)  
**Source**: https://4ort.xyz/entity/maurice-nivat

## Summary
Maurice Nivat was a French computer scientist born in 1937 and died in 2017. He was a pioneer in theoretical computer science and made significant contributions to formal languages and automata theory.

## Biography
- Born: December 21, 1937, in Clermont-Ferrand, France
- Nationality: French
- Education: Doctor of Science from Science Faculty of Paris (1967), École Normale Supérieure
- Known for: Contributions to formal languages, automata theory, and theoretical computer science
- Employer(s): Professor at Paris Diderot University, Joseph Fourier University
- Field(s): Computer science, engineering

## Contributions
Maurice Nivat was a foundational figure in theoretical computer science, particularly known for his work on formal languages and automata theory. He was one of the founders of the European Association for Theoretical Computer Science (EATCS) and served as its first president. His research helped establish the mathematical foundations of computer science as a discipline. Nivat supervised numerous doctoral students who became prominent computer scientists themselves, including Philippe Flajolet, Gérard Huet, and Bruno Courcelle. He was instrumental in developing the field of algebraic language theory and contributed to the understanding of graph grammars and picture languages. His work on the theory of computation and formal methods has had lasting influence on both theoretical and applied computer science.

## FAQs
### Q: What was Maurice Nivat's main contribution to computer science?
A: Maurice Nivat was a pioneer in formal languages and automata theory, helping to establish the mathematical foundations of computer science as a discipline.

### Q: Where did Maurice Nivat work as a professor?
A: Maurice Nivat was a professor at Paris Diderot University and also worked at Joseph Fourier University in Grenoble.

### Q: What awards did Maurice Nivat receive?
A: Maurice Nivat received the EATCS award in 2002 and was an Officer of the Legion of Honour, among other distinctions.

## Why They Matter
Maurice Nivat's work was crucial in establishing theoretical computer science as a rigorous mathematical discipline. His contributions to formal languages and automata theory provided the foundation for many modern computing concepts and helped bridge the gap between mathematics and computer science. As a founder of EATCS and mentor to numerous influential computer scientists, Nivat played a key role in building the European theoretical computer science community. His research on graph grammars and picture languages opened new avenues for understanding complex structures in computing. Without his pioneering work, the field would lack many of the formal foundations that underpin modern software development and computational theory.

## Notable For
- Founding president of the European Association for Theoretical Computer Science (EATCS)
- Recipient of the EATCS award in 2002
- Supervised numerous prominent computer scientists including Philippe Flajolet and Gérard Huet
- Officer of the Legion of Honour
- Honorary doctor of the University of Bologna (1997)

## Body
### Early Life and Education
Maurice Nivat was born on December 21, 1937, in Clermont-Ferrand, France. He received his Doctor of Science degree from the Science Faculty of Paris in 1967, having studied at the prestigious École Normale Supérieure.

### Academic Career
Nivat became a professor at Paris Diderot University and also held positions at Joseph Fourier University. His academic career was marked by his dedication to theoretical computer science and his role as a mentor to many doctoral students who went on to become influential figures in the field.

### Research Contributions
Nivat's research focused on formal languages, automata theory, and the mathematical foundations of computer science. He made significant contributions to algebraic language theory and was among the early researchers exploring graph grammars and picture languages. His work helped establish the theoretical underpinnings that many modern computing concepts rely upon.

### Professional Leadership
As one of the founders of the European Association for Theoretical Computer Science (EATCS), Nivat served as its first president. This organization has become a cornerstone of the theoretical computer science community in Europe, promoting research, collaboration, and education in the field.

### Legacy
Nivat's influence extends through his numerous doctoral students, including Philippe Flajolet (known for his work on analytic combinatorics), Gérard Huet (contributor to the Coq proof assistant), and Bruno Courcelle (known for Courcelle's theorem). His work continues to be cited and built upon in contemporary research in theoretical computer science.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Maurice Nivat",
  "jobTitle": "Computer Scientist",
  "worksFor": {
    "@type": "Organization",
    "name": "Paris Diderot University"
  },
  "nationality": {
    "@type": "Country",
    "name": "France"
  },
  "birthDate": "1937-12-21",
  "birthPlace": "Clermont-Ferrand, France",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "École Normale Supérieure"
    },
    {
      "@type": "EducationalOrganization",
      "name": "Science Faculty of Paris"
    }
  ],
  "knowsAbout": [
    "Computer Science",
    "Formal Languages",
    "Automata Theory"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q13219454",
    "https://en.wikipedia.org/wiki/Maurice_Nivat"
  ],
  "description": "French computer scientist (1937–2017) known for contributions to formal languages and automata theory"
}

## References

1. Fichier des personnes décédées mirror
2. BnF authorities
3. SUDOC
4. Mathematics Genealogy Project
5. International Standard Name Identifier
6. Virtual International Authority File
7. CiNii Research
8. www.ae-info.org
9. [Source](http://binaire.blog.lemonde.fr/2017/09/22/ciao-maurice/)
10. [Source](http://www.amitiefrancecoree.org/2017/09/les-notres-disparition-du-chercheur-maurice-nivat.html)
11. Who's Who in France
12. Czech National Authority Database
13. La France savante
14. [Source](https://www.lemonde.fr/disparitions/article/2017/09/27/la-mort-de-maurice-nivat-pionnier-de-la-recherche-en-informatique_5192337_3382.html)
15. National Library of Israel Names and Subjects Authority File