Sites Inria

English version

Partenariats

Microsoft Research - Inria Joint Centre : la recherche pour les e-Sciences

Inauguré le 11 janvier 2007, le laboratoire de recherche Commun Microsoft Reasearch - Inria Joint Centre s'inscrit dans la continuité d'une collaboration engagée depuis plusieurs années. Le laboratoire commun a pour but la recherche à long terme dans les domaines des méthodes formelles de la sécurité du logiciel et des méthodes et outils informatiques pour les sciences.

Ce partenariat initié en 2005 a été reconduit en 2009 puis en  2013.

Enjeux économiques et scientifiques :

  • création d’un « wikipedia des fonctions mathématiques » à destination d’un très large public ; 
  • méthodes de vérification automatique des protocoles pour les systèmes distribués et notamment de chiffrement pour la sécurité des communications ;
  • analyse d’archives d’images et de vidéos, avec application de techniques avancées d’intelligence artificielle ;
  • machine learning (apprentissage automatique) pour les réseaux sociaux, le traitement de données vidéo – notamment médicales – et la visualisation interactive.

Résultats obtenus à ce jour :

  • démonstration formelle du théorème de Feit & Thomson sur la théorie des groupes, avec des applications dans de nombreux domaines scientifiques modernes comme la mécanique quantique, la cryptographie ou la cristallographie ;
  • construction de systèmes de reconnaissance d’information dans des médias numériques, avec des applications en archéologie et pour la conservation du patrimoine historique.

Lire l'interview de Laurent Massoulié, directeur du centre de recherche commun Inria - Microsoft Research, réalisée à l'occasion du renouvellement signé en 2014

Télécharger la brochure de présentation

Mots-clés : Microsoft Research - Inria Joint Centre Partenariat stratégique Méthode formelle Laboratoire commun Sécurité logicielle Machine learning

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !