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.
Secure Distributed Computations and their Proofs
Adaptative Combinatorial Search for E-science
Microsoft Research and the Microsoft Research-Inria Joint Centre are pleased to announce a ...