The Microsoft Research-INRIA Joint Centre was founded by INRIA (the French National Research Institute for Computer Science and Applied Mathematics), Microsoft Corporation, and Microsoft Research Laboratory Cambridge. The Centre's objective is to pursue fundamental, long-term research in formal methods, software security, and the application of Computer Science research to the Sciences.

MORE...

Personal tools