About: dbpedia-fr:Amina

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Amina_Doumane Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdf:type	Thing foaf:Person person schema:Person wikidata:Q19088 wikidata:Q215627 Human wikidata:Q729 dul:NaturalPerson animal eukaryote species
rdfs:label	Amina Doumane (fr) امينه دومان (arz)
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)
rdfs:seeAlso	https://www.facebook.com/amina.doumane.9 https://www.researchgate.net/profile/Amina_Doumane https://zbmath.org/authors/?q=ai:doumane.amina
sameAs	wikidata:Q65707471 dbpedia-ar:أمينة_دومان http://arz.dbpedia.org/resource/امينه_دومان http://www.idref.fr/233781579/id http://viaf.org/viaf/96157100642072740002 http://www.theses.fr/233781579/id https://dblp.org/pid/154/6077 http://g.co/kg/g/11hzdqtwnq
birth place	dbpedia-fr:Maroc
Wikipage page ID	12671110 (xsd:integer)
Wikipage revision ID	190814203 (xsd:integer)
dbo:wikiPageWikiLink	Symposium on Logic in Computer Science category-fr:Docteur_de_l'université_Paris_VII category-fr:Informaticien_marocain category-fr:Informaticienne category-fr:Mathématicienne_du_XXIe_siècle category-fr:Mathématicienne_marocaine category-fr:Naissance_au_Maroc category-fr:Naissance_en_septembre_1990 category-fr:Élève_de_l'École_centrale_Paris Certificate (complexity) dbpedia-fr:Coinduction dbpedia-fr:Dexter_Kozen Digital object identifier dbpedia-fr:Domaine_d'intérêt_majeur Inductive reasoning Theoretical computer science Khouribga dbpedia-fr:La_Recherche_(magazine) dbpedia-fr:Laboratoire_spécification_et_vérification dbpedia-fr:Liste_des_premières_femmes_par_fonction_ou_titre dbpedia-fr:Logique_infinitaire dbpedia-fr:Logique_mathématique Modal μ-calculus dbpedia-fr:Olympiades_internationales_de_mathématiques dbpedia-fr:Prix_Gilles-Kahn dbpedia-fr:Rabat dbpedia-fr:Théorie_de_la_démonstration Gödel's completeness theorem Paris Diderot University University of Warsaw École Centrale Paris École normale supérieure de Lyon Île-de-France dbpedia-fr:Maroc dbpedia-fr:Mathématiques_appliquées dbpedia-fr:Mikołaj_Bojańczyk
Link from a Wikipage to an external page	http://video.upmc.fr/differe.php%3Fcollec=S_Congr%C3%A8sSIF2018&video=3 https://www.irif.fr/~doumane/LICS17.pdf https://www.societe-informatique-de-france.fr/wp-content/uploads/2018/02/SIF2018_These_Doumane.pdf
page length (characters) of wiki page	7726 (xsd:nonNegativeInteger)
dct:subject	category-fr:Docteur_de_l'université_Paris_VII category-fr:Informaticien_marocain category-fr:Informaticienne category-fr:Mathématicienne_du_XXIe_siècle category-fr:Mathématicienne_marocaine category-fr:Naissance_au_Maroc category-fr:Naissance_en_septembre_1990 category-fr:Élève_de_l'École_centrale_Paris
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Citation dbpedia-fr:Modèle:Date_de_naissance dbpedia-fr:Modèle:Liens dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Ébauche dbpedia-fr:Modèle:Infobox_biographie2 dbpedia-fr:Modèle:À_illustrer
prov:wasDerivedFrom	wikipedia-fr:Amina_Doumane?oldid=190814203&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Amina_Doumane
has 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)
citizenship	dbpedia-fr:Maroc
dbo:award	dbpedia-fr:Prix_Gilles-Kahn wikidata:Q6420086
occupation	Computer scientist dbpedia-fr:Mathématicien
discipline	dbpedia-fr:Logique_mathématique
alma mater	Paris Diderot University École Centrale Paris
is dbo:wikiPageWikiLink of	1990 in science Symposium on Logic in Computer Science dbpedia-fr:Doumane

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 8 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software