Amina Doumane recevra le prix Gilles-Kahn 2017 au Palais de la découverte à l'occasion du Congrès SIF'2018.
Le 31 janvier 2018, la jeune doctorante recevra le prix de thèse Gilles Kahn 2017 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).
Le prix de la Société Informatique de France (SIF) a été créé en 1998 pour récompenser chaque année une excellente thèse en Informatique. Gilles Kahn qui a présidé les trois premiers jurys du prix était convaincu de l’intérêt de promouvoir les jeunes talents les plus prometteurs de la discipline. En son honneur, le prix a adopté depuis 2007 le nom de Prix de thèse Gilles Kahn et est patronné par l’Académie des Sciences.
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.
Disciplines
Mots clés
Collection