Amina Doumane est une informaticienne théoricienne marocaine, née le 2 septembre 1990, pionnière pour avoir prouvé un théorème important de logique mathématique, le théorème de complétude pour le μ-calcul linéaire, et ce de manière constructive (i.e. en produisant un certificat). Par ce travail, elle fait le pont entre logique mathématique et vérification des propriétés infinitaires des logiciels, ce qui permet de raisonner à la fois de manière inductive et coinductive.

Property Value
dbo:abstract
  • Amina Doumane est une informaticienne théoricienne marocaine, née le 2 septembre 1990, pionnière pour avoir prouvé un théorème important de logique mathématique, le théorème de complétude pour le μ-calcul linéaire, et ce de manière constructive (i.e. en produisant un certificat). Par ce travail, elle fait le pont entre logique mathématique et vérification des propriétés infinitaires des logiciels, ce qui permet de raisonner à la fois de manière inductive et coinductive. Sa thèse a permis de montrer que les preuves circulaires ont un réel statut de preuve théorique et qu'elles peuvent être appliquées à d’autres domaines comme la vérification formelle. (fr)
  • Amina Doumane est une informaticienne théoricienne marocaine, née le 2 septembre 1990, pionnière pour avoir prouvé un théorème important de logique mathématique, le théorème de complétude pour le μ-calcul linéaire, et ce de manière constructive (i.e. en produisant un certificat). Par ce travail, elle fait le pont entre logique mathématique et vérification des propriétés infinitaires des logiciels, ce qui permet de raisonner à la fois de manière inductive et coinductive. Sa thèse a permis de montrer que les preuves circulaires ont un réel statut de preuve théorique et qu'elles peuvent être appliquées à d’autres domaines comme la vérification formelle. (fr)
dbo:almaMater
dbo:award
dbo:birthPlace
dbo:citizenship
dbo:discipline
dbo:occupation
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 12671110 (xsd:integer)
dbo:wikiPageLength
  • 7726 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190814203 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • Amina Doumane est une informaticienne théoricienne marocaine, née le 2 septembre 1990, pionnière pour avoir prouvé un théorème important de logique mathématique, le théorème de complétude pour le μ-calcul linéaire, et ce de manière constructive (i.e. en produisant un certificat). Par ce travail, elle fait le pont entre logique mathématique et vérification des propriétés infinitaires des logiciels, ce qui permet de raisonner à la fois de manière inductive et coinductive. (fr)
  • Amina Doumane est une informaticienne théoricienne marocaine, née le 2 septembre 1990, pionnière pour avoir prouvé un théorème important de logique mathématique, le théorème de complétude pour le μ-calcul linéaire, et ce de manière constructive (i.e. en produisant un certificat). Par ce travail, elle fait le pont entre logique mathématique et vérification des propriétés infinitaires des logiciels, ce qui permet de raisonner à la fois de manière inductive et coinductive. (fr)
rdfs:label
  • Amina Doumane (fr)
  • امينه دومان (arz)
  • Amina Doumane (fr)
  • امينه دومان (arz)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of