- home
Events
TLAPS 1.0 (new release)
ssreflect 1.3
G. Gonthier awarded
Tony Hey (visit)
Forum 2011
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.