<

publicité

br> L’Inria et Microsoft Research ont inauguré hier leur centre de recherche commun. Ce centre s’inscrit dans la continuité d’une collaboration engagée depuis plusieurs années entre les chercheurs de Microsoft Research et de l’INRIA. 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 est basé, à Orsay (Essonne) et emploie une quinzaine de chercheurs sous la direction de Jean-Jacques Lévy, directeur de recherche à l’Inria.