Partnerships
Microsoft Research - INRIA Joint Centre: Research for e-Sciences
The Microsoft Research - Inria Joint Centre shared research laboratory was established on the 11th January 2007 following a period of collaboration dating back over several years. The aim of the shared laboratory is to undertake long-term research into formal methods for software security, and data processing methods and tools applied to scientific research.
This partnership began in 2005 and was renewed in 2009 and 2013.
Economic and scientific challenges
- Creation of a ‘Wikipedia of mathematical functions’ intended for widespread use.
- Automatic protocol verification methods for distributed systems, with special emphasis on encryption for communications security.
- Analysis of image and video archives using advanced artificial intelligence techniques.
- Machine learning applied to social networks, video data processing (especially medical), and interactive visualisation.
Results obtained to date
- Formal demonstration of the Feit-Thomson theorem on group theory, with applications in many current scientific fields including quantum mechanics, cryptography and crystallography.
- Construction of data recognition systems for digital media, with applications in archaeology and the conservation of historic records.
Keywords: Microsoft Research - Inria Joint Centre Strategic partnerships Formal methods Joint lab Software security Machine learning
These articles could interest you:
MSR-Inria RSS feed
- Colloquium on « AI aspirations and Advances » by Eric Horvitz
- Karthikeyan Bhargavan awarded for his joint collaborations with Microsoft Research
- Karthikeyan Bhargavan awarded for his joint collaborations with Microsoft Research
- Conference with Satya Nadella (CEO of Microsoft) at Sorbonne University
- Workshop on “Networks: learning, information and complexity” at the Institut Henri Poincaré, Paris, on May 18-20, 2016.
En savoir plus
Inria Team
Contact
Would you like to collaborate with one of our research teams? Contact our strategic partnerships & major accounts manager.
Olivier Trebucq
- Tel. : +33 1 39 63 55 09