|
NOUS AVONS LU L'Inria et Microsoft créent un laboratoire commun Lu sur EETimes France, 27/04/2005.
http://www.eetimes.fr/at/news/showArticle.jhtml?articleID=161601062. ___________________
|
|
NOUS AVONS LU L'Inria et Microsoft créent un laboratoire commun Lu sur EETimes France, 27/04/2005.
http://www.eetimes.fr/at/news/showArticle.jhtml?articleID=161601062. ___________________
|
L'informatique et la science constitueront les deux grands axes d'étude pour les chercheurs du laboratoire commun entre l'Inria et Microsoft. Ils s'attacheront à développer de nouvelles méthodes pour rendre les systèmes logiciels complexes plus fiables et plus sécurisés. Ce projet s'inscrit dans la continuité des travaux réalisés précédemment par les deux partenaires sur les fondements des langages de programmation et sur l'utilisation des programmes informatiques dans la démonstration de théorèmes mathématiques.