Aucune photo libre
Amina Doumane
Maroc · Sur la carte · Universitaires · Naissance en 1990 · 36 ans
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).
Texte issu de Wikipédia, CC BY-SA 4.0
Amina Doumane : environ 5 lectures par jour, en 5 langues.
Un jour typique, sur 30 jours jusqu'au 24 juin 2026
Le jour médian de la période comptée : une semaine d'actualité ne peut donc pas le faire bouger. La courbe en dessous montre les 60 derniers jours, un point par jour.
Une erreur ?À propos de cette personne
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 permet 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.
Texte issu de Wikipédia, CC BY-SA 4.0
