There are 1 Results with the keyword : "Joint lab"
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.
- Microsoft Research - Inria Joint Centre
- Strategic partnerships
- Formal methods
- Joint lab
- Software security
- Machine learning