Current research at the Joint Centre is presented at Forum 2011
The Microsoft Research-INRIA Joint Centre has been created in October 2005. Three research projects started in May 2006, followed by six more since 2007.
The research programme is divided into three tracks.
A) Software Security and Trustworthy Computing, comprising 3 projects: Mathematical Components, Tools and Methodologies for Formal Speciﬁcations and for Proofs, and Secure Distributed Computations and their Proofs.
B) Computational Sciences and Scientiﬁc Information Interaction, comprising 4 projects: Dynamic Dictionary of Mathematical Functions, ReActivity, Adaptive Combinatorial Search for E-Science, and Image and Video Mining for Science and Humanities.
C) Applications of Cloud Computing, comprising 1 project: Neuroimaging and Azure platform.
Come and meet the MSR-INRIA researchers !
Our Forum 2011 is followed by the Software Summit 2011.