A Joint INRIA-Microsoft Research Laboratory
INRIA and Microsoft have inaugurated a joint fundamental research laboratory in Orsay near Paris on 11 January 2007. For several years, INRIA and Microsoft Research have been working together to push forward research in the software industry field, a key sector in the 'weightless economy' that was the subject of a recent report submitted to the French ministry of economy.
The joint laboratory will employ around 30 top-level researchers who will devote their time to two key fields in computer science research and, more broadly, scientific research: using formal methods to demonstrate long theorems, or to validate communication protocols, and creating a new avenue of research in computer science dedicated to the interaction of significant volumes of data generated by modern scientific experimentation. The results of this research will be made public and accessible to the scientific community.