- home
Events
scientific report 2008
New Postdoc Position
ssreflect 1.2
MSR-INRIA v2
INRIA and Microsoft Research sign a new 4-year framework agreement. More...
seminar
The seminar is usually on wednesday at 11:00.
the joint centre
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.
focus
sec. dist. computations
"Secure Distributed Computations and their Proofs" is a project designing formal tools for programming distributed computation with effective security guarantees.
math components
In the "Mathematical Components" project, we will demonstrate that formalized mathematical theories can, like modern software, be built out of components.