There are 2 Results with the keyword : "Software security"
On Friday 10 June 2016 in Paris, a memorandum of understanding was signed between Jifeng HE, dean of the East China Normal University school of computer science and software engineering, and Antoine Petit, CEO of Inria.
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