Envoyer par email

Télécharger

Posté le 28/01/2009 | Institutionnel

Le Centre de recherche commun INRIA-Microsoft Research a deux ans : premières reconnaissances international

Saclay – 28 janvier 2009 – Deux ans après l’inauguration de leur Centre de recherche commun, l’INRIA et Microsoft Research dressent un premier bilan de leur partenariat. A cette occasion, une conférence est organisée à l’Ecole Polytechnique pour présenter les travaux élaborés dans le cadre de cette collaboration. 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.

Saclay – 28 janvier 2009 – Deux ans après l’inauguration de leur Centre de recherche commun, l’INRIA et Microsoft Research dressent un premier bilan de leur partenariat. A cette occasion, une conférence est organisée à l’Ecole Polytechnique pour présenter les travaux élaborés dans le cadre de cette collaboration. 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.

Deux axes principaux de recherche reflétant la place de l’informatique dans notre société

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 en informatique : la sécurité et la fiabilité des logiciels et  l’interaction de l’informatique avec les autres sciences.

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êt 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 représentées au sein du centre.

Une recherche en marche au rayonnement international

L’activité scientifique du centre montre des résultats prometteurs reflétant l’excellence et le rayonnement à l’international des  travaux menés :

• 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 (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 (UK), de Redmond (USA) et Silicon Valley (USA).

Résumés des travaux et biographies des chercheurs disponibles sur demande