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 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 ?
Silicon et KPMG lancent Trends of IT 2024, une étude co-construite avec les managers IT…
Avec son Pack cybersécurité lancé au Forum InCyber 2024, Docaposte tend une perche aux PME.…
Quels sont les impacts immédiats de l'IA générative sur la cybersécurité ? Comment le contexte…
Un éditeur attire l'attention sur des attaques exploitant l'absence d'autorisation dans une API du framework…
Après un premier financement en septembre 2023, Amazon a débloquer le reste de l'enveloppe qu'il…
D'Alpine Linux à XPipe, voic les dernières entrées au SILL (Socle interministériel de logiciels libres).