Maurice Paul Nivat, né le 21 décembre 1937 à Clermont-Ferrand et mort le 21 septembre 2017 à Sevran, est un informaticien français. 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. 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.

Property Value
dbo:abstract
  • Maurice Paul Nivat, né le 21 décembre 1937 à Clermont-Ferrand et mort le 21 septembre 2017 à Sevran, est un informaticien français. 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. 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. (fr)
  • Maurice Paul Nivat, né le 21 décembre 1937 à Clermont-Ferrand et mort le 21 septembre 2017 à Sevran, est un informaticien français. 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. 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. (fr)
dbo:almaMater
dbo:award
dbo:birthDate
  • 1937-12-21 (xsd:date)
dbo:birthPlace
dbo:citizenship
dbo:deathPlace
dbo:discipline
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:employer
dbo:father
dbo:occupation
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 117326 (xsd:integer)
dbo:wikiPageLength
  • 8860 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 189007520 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 2002 (xsd:integer)
prop-fr:consultéLe
  • 2014-07-05 (xsd:date)
prop-fr:date
  • 27.090000 (xsd:double)
  • 2008-03-17 (xsd:date)
prop-fr:journal
  • Le Monde (fr)
  • Theoretical Computer Science (fr)
  • Interstices (fr)
  • Le Monde (fr)
  • Theoretical Computer Science (fr)
  • Interstices (fr)
prop-fr:nom
  • Bellin (fr)
  • Curien (fr)
  • Larousserie (fr)
  • Bellin (fr)
  • Curien (fr)
  • Larousserie (fr)
prop-fr:pages
  • 3 (xsd:integer)
prop-fr:prénom
  • David (fr)
  • Isabelle (fr)
  • Pierre-Louis (fr)
  • David (fr)
  • Isabelle (fr)
  • Pierre-Louis (fr)
prop-fr:site
prop-fr:titre
  • La mort de Maurice Nivat, pionnier de la recherche en informatique (fr)
  • Maurice Nivat : une vision à long terme de la recherche en informatique (fr)
  • Une brève biographie scientifique de Maurice Nivat, (fr)
  • La mort de Maurice Nivat, pionnier de la recherche en informatique (fr)
  • Maurice Nivat : une vision à long terme de la recherche en informatique (fr)
  • Une brève biographie scientifique de Maurice Nivat, (fr)
prop-fr:url
prop-fr:volume
  • 281 (xsd:integer)
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • Maurice Paul Nivat, né le 21 décembre 1937 à Clermont-Ferrand et mort le 21 septembre 2017 à Sevran, est un informaticien français. 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. 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. (fr)
  • Maurice Paul Nivat, né le 21 décembre 1937 à Clermont-Ferrand et mort le 21 septembre 2017 à Sevran, est un informaticien français. 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. 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. (fr)
rdfs:label
  • Maurice Nivat (fr)
  • Maurice Nivat (en)
  • Нива, Морис (ru)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:influencedBy of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-fr:auteur of
is prop-fr:directeurThèse of
is prop-fr:fondateur of
is oa:hasTarget of
is foaf:primaryTopic of