Amina Doumane

Amina Doumane (September 2, 1990) is a Moroccan computer scientist who on during 2017 won the French Giles-Kahn prize for the best doctoral thesis in France. Her thesis was on the subject On the infinitary proof theory of logics with fixed points. On January 31 2018, Doumane was presented with the award by the French computer science society (SIF). Quotes Moroccan Amina Doumane Won Best Doctoral Thesis in France Moroccan Amina Doumane Won Best Doctoral Thesis in France On Jan, 21, 2018 I have always been interested in the fundamentals of mathematics. To know if all that is true is demonstrable. I sent my file through the Paris Diderot University. I was selected and I had a monthly scholarship of 1,700 euros for the duration of my thesis, that is to say three years, in addition to a stipend of 5,000 euros to buy the material needed. Amina Doumane. The best doctoral thesis Amina Doumane. The best doctoral thesis I am currently a research fellow at the CNRS at the LIP. My research interests include proof theory and the study of circular proofs for verification, with a recent shift toward relation algebras, graph logic, and automata theory. If you didn't understand much of what I said, don't worry, that's normal! It's math, and we're not all geniuses. Gilles Kahn Thesis Prize and La Recherche Prize for Amina Doumane Amina Doumane spoke about the µ-calculus and its applications Let's call this formula the great implication. If we fail to prove the great implication, it is because the system does not verify the specifications. But if we prove it, we are sure that the system satisfies the specification. Moreover, this proof can be seen as a certificate, which can be communicated and even executed. This technique is also more informative than others; the proof tells us why the system verifies the property, which provides explanatory elements and therefore additional confidence. External links Category:1990 births Category:Living people Category:Computer scientists from Morocco Category:Women scientists from Morocco