Le Centre de Recherche Commun INRIA-Microsoft Research

 

Parc Orsay Université 28, rue Jean Rostand 91893 Orsay Cedex France Site web

 

Inauguré le 11 janvier 2007, le Centre de Recherche Commun INRIA-Microsoft Research s'inscrit dans la continuité d'une collaboration engagée depuis plusieurs années. Basé à Orsay, il s'organise autour de deux axes de recherche : les méthodes formelles et les outils informatiques pour les Sciences.

 

Le Centre de Recherche Commun INRIA-Microsoft Research inauguré le 11 janvier 2007 est basé à Orsay (Essonne). Sous la direction de Jean-Jacques Lévy, Directeur de recherche à l'INRIA, il emploie une quinzaine de chercheurs.

Le Centre de Recherche 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 est basé 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é.

 

Une ambition, deux axes de recherche

L'ambition du nouveau Centre de Recherche de INRIA - Microsoft s'organise autour de deux axes de recherche.

Une ambition commune

•	Synergie et collaboration
	Faire progresser la recherche en informatique sur des domaines d'intérêt commun et sur la base de collaboration existantes et parfois informelles entre chercheurs de l'INRIA et de Microsoft.
•	Un laboratoire implanté en région parisienne
	Permettre à des chercheurs de Microsoft, quel que soit leur laboratoire d'origine (Cambridge, USA, Chine, Inde) et à des chercheurs de l'INRIA de travailler ensemble dans des locaux nouveaux à Orsay et d'encadrer des chercheurs, qu'ils soient étudiants en doctorat, post-doctorants, ou chercheurs invités.
•	Faire avancer la science et l'interdisciplinarité
	Les avancées de la science moderne ne sont maintenant envisageables que par la contribution d'outils informatiques puissants, le recours à la simulation et à la modélisation, par l'acquisition de volumes de données immenses et toujours plus importants, par le traitement automatisé de ces données, par leur  visualisation et leur manipulation avec des méthodes innovantes. L'objectif à long terme du centre de recherche est de faire progresser la recherche scientifique en général par l'avancée de la science informatique.

Deux axes de recherche

•

Les méthodes formelles - La perspective est de contribuer à faire progresser les langages de programmation et  la conception même du logiciel par des méthodes mathématiques  et non par des méthodes empiriques basées sur le savoir-faire accumulé et l'expérience (ce que l'on appelle en général l'ingénierie du logiciel) dans une perspective d'amélioration de qualité, de fiabilité et de sécurité. Cet axe de recherche a démarré en 2006 avec la mise en place de 3 projets.

•

Outils informatiques pour les Sciences - Cet axe de recherche verra plusieurs projets démarrer progressivement en 2007. Parmi ceux-ci, le projet « Re-activity » présenté lors de l'inauguration du 11 janvier 2007, est basé sur une collaboration entre Wendy Mackay, directeur de recherche au centre de recherche INRIA Futurs, en France, et Mary Czerwinski, chercheur de Microsoft Research à Redmond, aux Etats-Unis.