Née au Maroc il y a 27 ans, Amina Doumane cultive depuis toujours une véritable passion pour la logique des mathématiques et la théorie de la démonstration. C’est ce qui lui a permis de décrocher en 2014, dans le cadre du Domaine d’intérêt majeur Recherche doctorale en mathématiques-IDF, rebaptisé depuis DIM Math Innov, une bourse mensuelle de 1.700€ pour la durée de sa thèse, soit trois ans, en plus d’une enveloppe de 5.000€ pour acheter le matériel dont elle avait besoin.
« J’ai toujours été intéressée par les fondements des mathématiques. Savoir si tout ce qui est vrai est démontrable », a expliqué Amina Doumane à la presse locale.
La thèse de doctorat de la jeune femme intitulée : « On the infinitary proof theory of logics with fixed points » (Théorie de la démonstration infinitaire pour les logiques à points fixes) a convaincu le jury de la Société informatique de France qui vient de lui octroyer le prestigieux prix Gilles-Kahn, assorti d’un chèque de 1.500€.
Amina Doumane est actuellement en post-thèse à l’École normale supérieure de Lyon, et elle compte poursuivre sa carrière au CNRS.
