On January 31, 2018, during SIF'2018 Congress, Amina Doumane will receive the 2017 Gilles Kahn Thesis Awards - presented by the French computer science society (SIF), under the patronage of the French Academy of Science – for her thesis “On the infinitary proof theory of logic with fixed points.”
Amina Doumane has always been passionate about the logic of mathematics and the theory of demonstration. After high-school education in Morocco, she joined the École Centrale Paris and obtained a scholarship in 2014 to develop a thesis at IRID and LSV under the supervision of professors David Baelde and Alexis Saurin.
Amina Doumane is currently a post-doctoral student at the École Normale Supérieure de Lyon, and she plans to continue her career at the CNRS.