L'INRIA et Microsoft a inauguré hier leur Centre de recherche commun.

Cet événement s'inscrit dans la continuité d'une collaboration engagée depuis plusieurs années, basée sur de nombreuses relations individuelles entre chercheurs de Microsoft et de l'INRIA et des collaborations institutionnelles fructueuses.

La constitution de ce centre de recherche commun démontre la stature internationale de la recherche française en informatique. Elle est la preuve de la détermination de ces deux acteurs à servir une ambition commune : réaliser des avancées fondamentales qui bénéficieront à la fois à la Science et à la Société.

Précisément, le Centre de Recherche 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.

Le Centre de Recherche Commun INRIA – Microsoft Research est basé à Orsay (Essonne) et emploie déjà une quinzaine de chercheurs.

Sous la direction de Jean-Jacques Lévy, Directeur de recherche à l'INRIA, le centre est piloté par un comité de direction composé à parts égales de membres de l'INRIA et de Microsoft. Les chercheurs mènent leurs travaux dans un environnement ouvert et collaboratif. Les résultats de leurs travaux seront rendus publics par le biais de publications scientifiques et par la création d'outils et prototypes logiciels qui seront mis à disposition gratuite de la communauté scientifique. Enfin, le contexte d'exploitation commerciale des travaux du laboratoire sera conjointement défini par l'INRIA et Microsoft dans le cadre des règles en vigueur en France.