Maurice Nivat

Maurice Nivat
Maurice Nivat
Born December 21, 1937 (1937-12-21) (age 73)
Clermont-Ferrand
Nationality  France
Fields Computer science
Institutions University of Paris
Alma mater Joseph Fourier University
Doctoral advisor Marcel-Paul Schützenberger
Doctoral students Bruno Courcelle
Philippe Flajolet
Gérard Huet
Luis Monteiro
Jean-Marc Steyaert

Maurice Paul Nivat (born December 21, 1937) is a French computer scientist. His research spans the areas of formal languages, programming language semantics and discrete geometry. A 2006 citation for an honorary doctorate called Nivat one of the fathers of theoretical computer science.[1] He was a Professor at the University Paris Diderot until 2001.

Contents

Early life and education

Nivat was born in Clermont-Ferrand, France. His parents were high-school teachers; his father taught languages while his mother taught mathematics.[2] In 1954, Nivat moved with his family to Paris.[2] Nivat was admitted to the École Normale Supérieure in 1956, but began working at the Blaise Pascal Institute of the French National Centre for Scientific Research, a newly established computing laboratory, in 1959.[1][2] He returned to study in matehmatics in 1961 under the supervision of Marcel-Paul Schützenberger.[1] His 1967 thesis was entitled Transductions des langages de Chomsky" ("Transductions of Chomsky Languages").

Career

In 1969, Nivat became a professor at Universite Paris VII and taught until 2002.[3] He is currently a professor emeritus.

Nivat was involved in many endeavours in theoretical computer science in Europe: he was one of the founders of the EATCS in 1972 and organized the first ICALP conference in the same year at INRIA (then called IRIA) in Paris. In 1975, he was a founder of the journal Theoretical Computer Science. He was editor-in-chief of the journal for over 25 years.[1]

Awards

Since 1983, Nivat has been a corresponding member of the French Academy of Sciences.[2] Nivat is also an officer of both the Legion d'honneur and the Ordre national du Mérite in France. Nivat won the EATCS award in 2002. He has received honourary doctorates from the University of Bologna in 1997[4] and the University of Quebec at Montreal in 2006.[1]

References

  1. ^ a b c d e "L'UQAM remet sept doctorats honoris causa à des personnalités marquantes : Maurice Nivat". http://www.uqam.ca/nouvelles/2006/06-282-MN.htm. 
  2. ^ a b c d Curien, Pierre-Louis (2002). "Une breve biographie scientifique de Maurice Nivat". Theoretical Computer Science 281: 3–23. doi:10.1016/S0304-3975(02)00004-X. 
  3. ^ Nivat, Maurice (2002). "EATCS Award Acceptance Speech". Bulletin of the European Association of Theoretical Computer Science 78: 213–220. 
  4. ^ "Laurea Honoris Causa in Computer Science from the University of Bologna to Maurice Nivat and Robin Milner". http://www.cs.unibo.it/icalp/Lauree.html. 

Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Maurice Nivat — Maurice Paul Nivat, né le 21 décembre 1937 à Clermont Ferrand, est un chercheur en informatique. Professeur à l Université Paris Diderot et membre du Laboratoire d Informatique Algorithmique: Fondements et Applications (CNRS UMR 7089),… …   Wikipédia en Français

  • Maurice, Paul Nivat — Maurice Nivat 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,… …   Wikipédia en Français

  • Maurice Paul Nivat — Maurice Nivat 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,… …   Wikipédia en Français

  • Mike Paterson — For those of a similar name, see Mike Patterson (disambiguation) and Michael Paterson (disambiguation). Mike Paterson Nationality British Fields Computer Science …   Wikipedia

  • Ronald V. Book — Ronald Vernon Book (* April 1937; † 28. Mai 1997 in Santa Barbara, Kalifornien) war ein US amerikanischer Informatiker. Inhaltsverzeichnis 1 Leben 2 Rezension 3 Wissenschaftliches Engagement …   Deutsch Wikipedia

  • Yves Cochet — Pour les articles homonymes, voir Cochet. Yves Cochet Yves Cochet, le 6  …   Wikipédia en Français

  • Mike Paterson — Nacimiento 1942  Reino Unido Residencia …   Wikipedia Español

  • Liste der Mitglieder der Académie des sciences — Die Académie des sciences besteht aus französischen Mitgliedern, assoziierten Ausländern und korrespondierenden Mitgliedern. Sie teilt sich in zwei Divisionen auf: Mathematik, Physik und ihre Anwendungen zum einen und Chemie, Biologie, Medizin… …   Deutsch Wikipedia

  • Liste De Normaliens Par Promotion — Cet article est une liste de normaliens[1] célèbres classés par promotion. Contrairement à beaucoup d’autres écoles, mais comme à l’École polytechnique, la promotion d’un normalien est son année d’entrée à l’École normale supérieure. Ceci est… …   Wikipédia en Français

  • Liste de normaliens (rue d'Ulm) par promotion — Liste de normaliens par promotion Cet article est une liste de normaliens[1] célèbres classés par promotion. Contrairement à beaucoup d’autres écoles, mais comme à l’École polytechnique, la promotion d’un normalien est son année d’entrée à… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”