About the Joint Centre
Research Areas & Projects
Computer Vision and Medical Imaging
Formal Methods for Mathematics, Distributed Systems and Security
Machine Learning & Big Data
Social Information Networks and Privacy
Computer Vision for Hololens
Cryptography for the Blockchain
ML optimized for Cloud Implementation
TLA Proof System
4D Cardiac MR Images
Adaptative Combinatorial Search for E-science
Dynamic Dictionary of Mathematical Functions
Information Flows in Online Social Networks
Interactive Network Visualization
Privacy-Friendly Services and Apps
Scientific Image and Video Mining
Secure Distributed Computations and their Proofs
Structured Large Scale Machine Learning
Tools for Proofs
White-Box Search-Based Software Engineering
Z-CloudFlow: Data Workflows in the Cloud
News & Events
Conferences & Workshops
Microsoft Research Inria Joint Centre
26 March 2014
ACM Turing Award goes to Leslie Lamport
25 November 2011
Pierre-Malo Denielou gives a seminar on Buffered Communication Analysis in Distributed Multiparty Sessions.
Bât. I. RdC Microsoft Research – Inria Joint Centre Parc Orsay Université Buffered Communication Analysis in Distributed Multiparty Sessions Pierre-Malo Deniélou, Imperial College Many ...
9 September 2011
Ioana Pasca speaks about Formally Verified Polynomial Approximations of Real Functions
Bât. I, 1st floor Microsoft Research – Inria Joint Centre Parc Orsay UniversitéFormally Verified Polynomial Approximations of Real Functions Ioana Pasca, ENS Lyon The purpose of this work is to compute in a ...
1 June 2011
Kristin Lauter speaks about Elliptic Curve Cryptography and Applications
Salle Verte, 5th floor, INRIA Antenne Parisienne, 23 avenue d’Italie Elliptic Curve Cryptography and Applications Kristin Lauter Microsoft Research, Redmond In the last 25 years, Elliptic Curve Cryptography has become a ...
28 April 2011
Nikhil Swamy gives a seminar on Yarra: Modular Protections against Non-control Data Attacks
Bât. I. 1st floor Microsoft Research – Inria Joint Centre Parc Orsay Université Yarra: Modular Protections against Non-control Data Attacks Nikhil Swamy MSR Redmond A non-control data attack occurs when ...
12 April 2011
Campus Microsoft See program