Le partenariat Microsoft - Inria est prolongé jusqu'en 2017
Publié par La rédaction le | Mis à jour le
Après 7 années d'existence, le centre de recherche commun Inria - Microsoft Research définit ses axes de développement pour la période 2014-2017.
Le centre de recherche commun regroupant des équipes d'Inria et de Microsoft Research a été lancé par les deux entités en 2006 et renouvelé en 2009. Il est dédié à la recherche fondamentale en sciences du numérique. Ce partenariat est aujourd'hui reconduit jusqu'en 2017.
« Cette collaboration a permis à nos chercheurs depuis 7 ans de répondre à des enjeux et des défis scientifiques majeurs dans un monde qui est devenu numérique, explique Michel Cosnard, président directeur général d'Inria. Le renouvellement de ce partenariat autour de nouvelles thématiques de recherche telles que la sécurité des données ou les big data ouvrent de belles perspectives de recherche entre nos deux institutions. »
Citons deux exemples de succès remportés par ce centre de recherche commun : la démonstration informatique du théorème de Feit-Thompson par l'équipe dirigée par Georges Gonthier en 2012 ; l'attribution du prix Turing 2013 à Leslie Lamport, membre du laboratoire depuis ses débuts.
Quatre thématiques
Quatre grands axes de recherche sont mis en avant pour cette nouvelle phase.
Voir aussi
Quiz Silicon.fr - Connaissez-vous les inventeurs hi-tech européens ?