Maurice Nivat

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), il prend sa retraite en 2001 sans arrêter la recherche[1].

Ses travaux portent sur les différents domaines de l'informatique théorique : la théorie des langages formels, la sémantique des langages de programmation et la géométrie discrète.

Il est membre correspondant de l'Académie des sciences depuis le 11 avril 1983[2].

Officier de la Légion d'honneur et de l'Ordre du Mérite, il est aussi Docteur honoris causa des universités de Bologne[3] et du Québec à Montréal (UQAM)[4].

Nivat a apporté d'importantes contributions à l'informatique théorique. Il a également aidé à la fondation de l'Association européenne pour l'informatique théorique (EATCS), organisé la première ICALP en 1972, et fondé la revue « Theoretical Computer Science » en 1975.

Références et notes

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Maurice Nivat de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Maurice Nivat — Born December 21, 1937 (1937 12 21) (age 73) Clermont Ferrand Nationality …   Wikipedia

  • 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”