L'Institut National de la Recherche en Informatique et en Automatique va créer avec Microsoft un laboratoire commun destiné à la recherche dans la fiabilité et la sécurité ainsi que dans le développement de logiciels scientifiques.
Selon un communiqué de Microsoft, les résultats des recherches de ce laboratoire qui sera situé à Orsay (91) seront publiés dans des revues scientifiques et les outils et prototypes logiciels seront mis gratuitement à la disposition de la communauté scientifique.
Le laboratoire se concentrera sur la création de nouvelles méthodes pour rendre les systèmes logiciels complexes plus fiables et plus sécurisés et sur le développement de nouveaux logiciels pour l'analyse et le traitement de données scientifiques complexes.