There are 1 Results with the keyword : "Assia Mahboubi"
A complete formal proof, certified by the Coq software, was announced in September by Georges Gonthier and his team at the Inria-Microsoft Research joint laboratory.
This work renders the conflict between computer science and mathematics obsolete, the common denominator being logic. Two young researchers who joined Georges Gonthier for the ride told us how much they enjoyed participating in the work and "grew" as a result of the Mathematical Components (MathComp) project. Here's what they had to say...
- Inria - Microsoft Research joint laboratory
- Georges Gonthier
- Inria Sophia Antipolis - Méditerranée
- Inria Saclay - Île-de-France
- Enrico Tassi
- Assia Mahboubi
- Feit-Thompson theorem