L'Inria et Micrsoft ont renouvelé hier leur partenariat autour de leur centre de recherche commun Inria-Microsoft Research. Le partenariat est reconduit jusqu'en 2017.

Pour l'occasion, Microsoft a rappelé qu'un des plus beaux succès de ce partenariat est la démonstration faite en 2012 à l'aide d'un ordinateur du théorème de Feit-Thompson. Le théorème de Feit-Thompson est la pierre angulaire de la théorie des groupes moderne, elle même pierre angulaire de l'algèbre moderne. Davantage d'informations quant à ce théorème et à sa démonstration informatique sont à lire à cette page du site de l'Inria.

Désormais les domaines de recherche de ce laboratoire commun sont étendus à "4 champs de recherche majeurs autour du Big Data et du Machine Learning, de la vision numérique et du traitement d'images médicales et ainsi que des réseaux sociaux et de la préservation de la vie privée".

Frédéric Mazué