Amina Doumane

Carte Commune · n° 490645

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. 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.

Lire sur Wikipédia