Microsoft Et L’Inria Renforcent Leur Partenariat Autour De l’IA

Ce 21 juin, Microsoft Research et l’institut de recherche français Inria ont renouvelé leur accord de partenariat en renforçant leur collaboration notamment dans le domaine de l’Intelligence artificielle (IA) 

Carlo Purassanta, président de Microsoft France et François Sillion, p-dg d’Inria par interim, ont signé ce 21 juin à Issy-les-Moulineaux un accord renouvellant leur partenariat pour 4 ans. Deux axes prioritaires ont été définis visant à accélérer le déploiement de l’Intelligence Artificielle auprès de l’écosystème français :  d’une part, la recherche fondamentale, autour de cinq projets conjoints Inria – Microsoft Research ; d’autre part, le transfert de compétences et d’expertises vers les start-ups du programme ‘IA Factory’ co-développé par Microsoft France et Inria depuis l’origine.

Présent à cet évènement, Eric Horvitz, Technical Fellow & Director Microsoft Research (cf. l’entretien publié par Forbes.fr), a déclaré : « La France est une terre d’innovation qui dispose de nombreux atouts – la puissance de sa recherche faite à travers un grand nombre de ses écoles et universités, et son implication croissante dans le développement d’un écosystème pour une IA de confiance. Sceller un partenariat avec un institut de recherche français comme Inria était déjà un grand pas en avant en 2005 ; le renforcer est une avancée de plus pour le déploiement de l’IA en France ! »

Cinq grands projets

Les cinq projets concernent la sécurité des transactions et le respect de la vie privée (cf. projet Everest, ci-après) ; les algorithmes de ‘machine learning’ distribués pour le Cloud ; la cryptographie et les mécanismes fondamentaux de la ‘blockchain’ ; la vision par ordinateur et ses applications pour la réalité mixte ; enfin, le prolongement des développement sur le langage de spécifications formelles TLA.

Pour rappel, le partenariat Microsoft – Inria a été initié en 2005. En janvier 2007 a été inauguré le Centre de Recherche commun Inria-Microsoft Research, qui regroupe plus 50 chercheurs et 25 doctorants ou post-doctorants. En 2013 il a reçu le Prix Turing. Parmi les travaux réalisés, figurent la vérification, par preuves formelles, du théorème de Feit-Thompson, portant notamment sur le protocole TLS sécurisant la navigation sur le Web; ou encore la modélisation en 3D à partir d’images 2D de sites historiques comme Palmyre et Pompéi – une réalisation opérée par la start-up Iconem. Autres travaux : des algorithmes de ‘machine learning’ en apprentissage supervisé ou faiblement supervisé. Et dans l’imagerie médicale, le ‘deep learning’ a permis des solutions d’aide au dépistage et au traitement de cancers et de maladies cardiaques.

Le programme Everest sur le protocole de chiffrement TLS 

Antoine Delignat, jeune chercheur français travaillant au laboratoire de Microsoft Research de Cambridge, nous a expliqué les enjeux du programme Everest co-développé par Inria et Microsoft Research. Il s’agit de démontrer les « preuves de programmes », c’est à dire la méthode mathématique prouvant qu’un programme implémente correctement une fonction primitive cryptographique ou spécification mathématique garantissant l’efficacité du chiffrement dans la sécurité du protocole TLS utilisé par la plupart des navigateurs Web.  

« Il fallait prouver que le calcul retourne le bon résultat. Il peut s’agir de la clé d’encryptage, une signature électronique ou le calcul qui fait le chiffrement d’un « haché » (ou compression irréversible : on part d’une chaine de caractères de taille arbitraire pour revenir à un fichier de taille fixe dit « haché »). Ainsi preuve est faite que le protocole qui chiffre est infalsifiable ».  

Les piliers du partenariat Microsoft – Inria

Bernard Ourghanlian, directeur technique et sécurité de Microsoft France a rappelé que le partenariat entre Inria et Microsoft avait été scellé à Paris, le 26 avril 2005 par Steve Balmer, CEO de Microsoft, et François d’Aubert, ministre de l’Enseignement et de la Recherche.

« C’est une histoire d’hommes et d’amitiés entre Leslie Lamport, responsable du laboratoire de Microsoft Research à Cambridge et Gilles Kahn, président d’Inria. (…) Ce type de partenariat public / privé était peu courant à l’époque. Le point fort a été un réseau bien maillé de scientifiques qui se connaissaient bien, un réseau bénéficiant à l’ensemble de la communauté. Deux autres personnes ont marqué ce partenariat, Georges Gonthier – membre de Microsoft Cambridge qui a rejoint Inria – et Cédric Fournet, animateur de l’équipe ‘Everest’ ».