Amina Doumane
personne
informaticienne théoricienne marocaine
Amina Doumane (en arabe : أمينة دومان), née le 2 septembre 1990, est une informaticienne théoricienne marocaine, 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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Amina_Doumane
Lien Wikidata : https://www.wikidata.org/wiki/Q65707471
Propriétés
- date_naissance
- +1990-09-0
- genre_personne
- féminin
- lieu_naissance
- {"qid": "Q1028", "label": "Maroc"}
- nationalite
- Maroc
- occupation
- mathématicien ou mathématicienne
- p106_all
- mathématicien ou mathématicienne, informaticien ou informaticienne