12 janvier 2018

Aide à la recherche : Amina Doumane décroche le prix Gilles-Kahn

La Région accorde une importance particulière à l'aide à la recherche. Allocataire en 2014 d'une bourse d'un Domaine d'intérêt majeur financé par la Région, Amina Doumane a reçu en 2017 un prix qui distingue une thèse en informatique soutenue dans une école ou une université française. Témoignage.

Amina Doumane, une chercheuse en mathématiques de grande ampleur 

Son truc, c'est les mathématiques. Plus précisément la logique des mathématiques et la théorie de la démonstration. Amina Doumane, née au Maroc il y a 27 ans, a convaincu le jury de la Société informatique de France de lui octroyer le prestigieux prix Gilles-Kahn pour sa thèse intitulée : « On the infinitary proof theory of logics with fixed points » (Théorie de la démonstration infinitaire pour les logiques à points fixes). Un prix qui constitue également une aide à la recherche puisqu'il s'accompagne d'un chèque de 1.500 euros.

« J'ai toujours été intéressée par les fondements des mathématiques. Savoir si tout ce qui est vrai est démontrable », explique avec le sourire la jeune femme, actuellement en post-thèse à l'ENS et qui compte poursuivre sa carrière au CNRS. « J'ai décroché un CDD d'un an et je suis basée à l'École normale supérieure de Lyon. Je travaille sur la vérification des systèmes informatiques. »

L'aide à la recherche, des prix et des bourses 

Amina Doumane a bénéficié en 2014 d'une bourse dans le cadre du Domaine d'interêt majeur Recherche doctorale en mathématiques-IDF, rebaptisé depuis DIM Math Innov. « J'avais envoyé mon dossier par l'intermédiaire de l'Université Paris-Diderot. J'ai été retenue et, du coup, j'ai eu une bourse mensuelle de 1.700 euros pour la durée de ma thèse, soit trois ans, plus une enveloppe de 5.000 euros pour acheter le matériel dont j'avais besoin », détaille encore la jeune femme.

Un Domaine d'interêt majeur, c'est quoi ?
La Région concentre son aide à la recherche sur des thèmes porteurs, autour desquels tout un réseau de recherche est constitué. Ces thématiques sont les Domaines d’intérêt majeur (DIM) de la Région. Et pour la période 2017-2020, la Région a voulu qu’ils soient davantage en lien avec l’écosystème francilien du transfert de technologie et de l’innovation ainsi que les acteurs économiques.