Nous suivre Industrie Techno

Bilan du partenariat INRIA-Microsoft

Industrie et  Technologies
Deux ans après la création de leur labo commun de recherche, l'INRIA et Microsoft dressent le premier bilan.


Deux ans après l'inauguration de leur Centre de recherche commun, l'INRIA et Microsoft Research dressent un premier bilan de leur partenariat. Inauguré en janvier 2007, le Centre est né de la volonté de créer un institut de très haut niveau pour mener des travaux de recherche fondamentale autour de deux thèmes clés pour l'avenir de l'informatique : la sécurité et la fiabilité du logiciel d'une part ; les interactions entre l'informatique et les autres sciences d'autre part.

Les 7 projets de recherche menés par les équipes du centre sont répartis selon deux thématiques qui illustrent l'enjeu de la recherche dans ces deux domaines. Dans un monde où les logiciels sont au cÅ“ur des appareils que nous utilisons quotidiennement, assurer la fiabilité et la sécurité de ces logiciels revêtent une importance capitale. Trois projets de recherche menés au sein du centre s'inscrivent dans cette perspective. Les chercheurs misent notamment sur une méthode prometteuse pour assurer la fiabilité des logiciels : les preuves formelles qui replacent la logique mathématique au cÅ“ur des démonstrations informatiques.

Autre enjeu de la recherche en informatique : créer de nouveaux outils et applications permettant de gérer et d'analyser des données scientifiques toujours plus nombreuses et complexes dans de nombreux domaines. Quatre projets menés au sein du centre se déploient autour de cette thématique et visent ainsi à répondre aux défis scientifiques de demain.

Langages de programmation, informatique théorique et mathématiques appliquées, interaction homme-machine, traitement d'images et machine learning, telles sont les nombreuses disciplines explorées.

L'activité scientifique du labo commun compte :

  • - 3 thèses de doctorat présentées (Bologne, Ecole Polytechnique, Université Paris-Sud) ;
  • - 9 thèses à venir en 2009 et 2010 ;
  • - 18 articles publiés dans des revues scientifiques internationales à comité de lecture ;
  • - 44 publications acceptées dans des conférences internationales de premier plan ;
  • - 2 exposés à l'Académie des Sciences à Paris ;
  • - 7 logiciels développés (ssreflect ; sessions ; tls-verif ; tla-pm ; ddmf ; reactivity ; gecode).

Un rapport scientifique décrivant l'activité du Centre de Recherche Commun INRIA-Microsoft Research entre 2006 et 2008 sera publié en février 2009.

Depuis 2006, 34 jeunes chercheurs de 9 nationalités différentes ont participé aux projets du Centre Commun, dont 18 doctorants qui ont réalisé tout ou partie de leur thèse au sein du centre, ainsi que 16 post-doctorants.

Ils sont encadrés par 37 chercheurs du secteur public - de l'INRIA, mais aussi du CNRS, de l'Ecole Normale Supérieure ou de l'Université Paris-Sud - et par 14 chercheurs de Microsoft issus des laboratoires de Cambridge (Grande-Bretagne), de Redmond (Etats-Unis) et de la Silicon Valley (Etats-Unis).

Ridha Loukil

Bienvenue !

Vous êtes désormais inscrits. Vous recevrez prochainement notre newsletter hebdomadaire Industrie & Technologies

Nous vous recommandons

FIC 2019 : Alsid sécurise le système de gestion des accès Active Directory

FIC 2019 : Alsid sécurise le système de gestion des accès Active Directory

Issue de l’agence nationale de la sécurité des systèmes d'information (Anssi), l’entreprise Alsid a[…]

RGPD : Google, une sanction sans précédent

RGPD : Google, une sanction sans précédent

CES 2019 : Les technos du véhicule autonome et connecté

CES 2019 : Les technos du véhicule autonome et connecté

Technos à suivre en 2019, drone poisson volant, Lidar … les meilleures innovations de la semaine

Technos à suivre en 2019, drone poisson volant, Lidar … les meilleures innovations de la semaine

Plus d'articles