Liens transverses ENS de Lyon

Actualité de l'ENS de Lyon

Prix La recherche 2017 dans la catégorie "Sciences de l'information" attribué à Amina Doumane

Amina Doumane
Prix et distinction

Résumé

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.

Description

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.

Collection
Disciplines
Mots clés