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.
4D Cardiac MR Images
Secure Distributed Computations and their Proofs
Scientific Image and Video Mining
Microsoft Research and the Microsoft Research-Inria Joint Centre are pleased to announce a ...