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.
Scientific Image and Video Mining
Tools for Proofs
Adaptative Combinatorial Search for E-science
Microsoft Research and the Microsoft Research-Inria Joint Centre are pleased to announce a ...