The Microsoft Research-INRIA Joint Center was co-founded by INRIA (the French National Research Institute for Computer Science and Applied Mathematics) and Microsoft Corporation and Microsoft Research.

The center’s objective is to pursue fundamental, long-term research in formal methods, software security, and the application of computer science research to science. The joint laboratory is located in Orsay, 20 km south of Paris, on the campus of Paris-Saclay University, near prestigious institutions like University Paris Sud and Ecole Polytechnique.

 

Interview of Jean-Jacques Levy, Director MSR-INRIA and Pierre-Louis Xech, Deputy director MSR-INRIA