Depuis 2004, le Prix La Recherche récompense chaque année les meilleurs travaux scientifiques francophones de l’année passée, dans 12 mentions : archéologie, astrophysique, biologie, chimie, environnement, mathématiques, santé, neurosciences, physique, sciences de l'Information, technologies et le prix coup de cœur.
Amina Doumane cultive depuis toujours une véritable passion pour la logique des mathématiques et la théorie de la démonstration. Après une classe préparatoire au Maroc, elle intègre l'École centrale Paris et décroche en 2014 une bourse qui lui permet de préparer une thèse à l’Institut de Recherche en Informatique Fondamentale (IRIF) et au Laboratoire Spécification et Vérification (LSV) sous la direction de David Baelde, Alexis Saurin et Pierre-Louis Curien. Thèse qu'elle soutient le 27 juin 2017 à l’Université Paris-Diderot. Elle est actuellement en post-doctorat à l’École normale supérieure de Lyon et compte poursuivre sa carrière au CNRS.
Le prix La Recherche dans la catégorie "Sciences de l'information" a ainsi été attribué à l'article d’Amina Doumane "Constructive completeness for the linear-time μ-calculus" publié dans IEEE en août 2017.
Amina Doumane a obtenu des résultats d'informatique théorique remarquables sur les logiques infinitaires. Les logiques infinitaires permettent des formules ou des démonstrations infiniment longues. Elles sont utilisées par exemple pour la vérification de programmes de tous les jours : s'assurer qu'un ascenseur n'ouvrira jamais ses portes entre deux étages par exemple. Le travail d'Amina Doumane fait le pont entres les logiques infinitaires et les logiques plus classiques grâce à une nouvelle notion de démonstration logique fractale. Un travail pionnier sur un domaine en émergence, point de contact entre logique mathématique et vérification des propriétés infinitaires des logiciels.
Disciplines
Mots clés
Collection