Sites Inria

Il y a 1 Résultats avec le mot clé : "Sécurité logicielle"

Partenariats

Microsoft Research - Inria Joint Centre : la recherche pour les e-Sciences

Inauguré le 11 janvier 2007, le laboratoire de recherche Commun Microsoft Reasearch - Inria Joint Centre s'inscrit dans la continuité d'une collaboration engagée depuis plusieurs années. Le laboratoire commun a pour but la recherche à long terme dans les domaines des méthodes formelles de la sécurité du logiciel et des méthodes et outils informatiques pour les sciences.

Ce partenariat initié en 2005 a été reconduit en 2009 puis en  2013.

Mots-clés :

Accueil > Institut > Partenariats > Partenariats industriels > Microsoft Research

Lire la suite

Haut de page

Suivez Inria