computer-scientists-from-morocco

"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."

"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."

"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."