Sites Inria

Il y a 15 Résultats avec le mot clé : "Microsoft research"

Leslie Lamport Leslie Lamport - © Photo Bernard Lachaud

Distinction

Leslie Lamport récompensé par le prix Turing

21/03/2014

Le prix Turing 2013 de l’Association for Computing Machinery, considéré comme le « Nobel de l’Informatique » a été décerné à Leslie Lamport, chercheur au laboratoire commun Inria-Microsoft Research.

Mots-clés :

Accueil > Actualité > Actualités Inria > Leslie Lamport récompensé par le prix Turing

Lire la suite

Laboratoire commun

Forum Microsoft Research Inria 2011

12/04/2011

Le 12 avril, le laboratoire commun Inria - Microsoft research vous invite à participer au forum 2011 au Centre de conférence Microsoft-France à Issy-les Moulineaux. L'occasion de faire le point sur une collaboration scientifique fructueuse autour de conférences et de démonstrations.

Lieu : Centre de conférence Microsoft-France 41, quai du Président Roosevelt 92130 Issy-les-Moulineaux

Intervenant(s) : Assia Mahboubi, Inria, Cédric Fournet, Microsoft Research Cambridge, Damien Doligez, Inria, Frédéric Chyzak, Inria, Bertrand Thirion, Inria, Jean-Daniel Fekete, Inria,Youssef Hamadi, Microsoft Research Cambridge, Marc Schoenauer, Inria,Jean Ponce, Ecole Normale Supérieure

Mots-clés :

Accueil > Actualité > Agenda > Forum Microsoft Research Inria 2011

lire la suite

Laboratoire commun

Forum Microsoft Research Inria 2011

12/04/2011

Le 12 avril, le laboratoire commun Inria - Microsoft research vous invite à participer au forum 2011 au Centre de conférence Microsoft-France à Issy-les Moulineaux. L'occasion de faire le point sur une collaboration scientifique fructueuse autour de conférences et de démonstrations.

Lieu : Centre de conférence Microsoft-France 41, quai du Président Roosevelt 92130 Issy-les-Moulineaux

Intervenant(s) : Assia Mahboubi, Inria, Cédric Fournet, Microsoft Research Cambridge, Damien Doligez, Inria, Frédéric Chyzak, Inria, Bertrand Thirion, Inria, Jean-Daniel Fekete, Inria,Youssef Hamadi, Microsoft Research Cambridge, Marc Schoenauer, Inria,Jean Ponce, Ecole Normale Supérieure

Mots-clés :

Accueil > Centre > Paris > Agenda > Forum Microsoft Research Inria 2011

lire la suite

Sécurité Internet

Microsoft Research et Inria présentent la plate-forme de sécurité Internet miTLS

Laurence Goussu - 19/11/2015

A l’occasion du Paris Open Source Summit, le centre de recherche commun Microsoft Research-Inria dévoile les résultats de plusieurs années de recherche autour de l’implémentation sécurisée du protocole TLS (Transport Layer Security. Les chercheurs à l’origine de la découverte des failles Triple Handshake, Freak et Logjam, mettent aujourd’hui à disposition deux ensembles de codes, en open source, qui font partie d’un projet plus vaste appelé miTLS.

Mots-clés :

Accueil > Actualité > Médiacenter > Microsoft Research et Inria présentent la plate-forme de sécurité Internet miTLS

Lire la suite

Laboratoires Communs Chercheurs © INRIA / Photo C. Dupont

Inria Joint Labs

Favoriser la recherche amont avec l’industrie

Inria met un point d’orgue sur le transfert de ses recherches vers l’industrie. Ce processus impacte fortement l’économie et aussi, de manière générale, la société. Afin de favoriser la recherche en amont avec l'industrie, l’institut crée avec des partenaires de très longue date des laboratoires communs. Ces laboratoires sont créés dans le but de lever des verrous technologiques sur des sujets majeurs et ciblés. Chaque partenaire y consacre d’importants moyens humains. 

Mots-clés :

Accueil > Recherches > Structures de recherche > Inria Joint Labs

Lire la suite

Prix Turing

Leslie Lamport : des travaux au cœur de notre informatique moderne

Olivier Lapirot - 3/06/2014

L'Américain Leslie Lamport, chercheur au laboratoire commun Microsoft Research-Inria, a remporté le prix Turing 2013 pour ses contributions à la théorie et à la pratique des systèmes distribués. Eclairage sur ses travaux par Damien Doligez, chercheur Inria.

Mots-clés :

Accueil > Actualité > Actualités Inria > Leslie Lamport : des travaux au cœur de notre informatique moderne

Lire la suite

Laboratoire commun

Microsoft Research-Inria Joint Centre

La création d’un laboratoire commun avec Microsoft Research, l’un des plus grands centres de recherche privée dans le monde, constitue une première dans l’histoire de notre institut.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Partenariats > Microsoft Research-Inria Joint Centre

Lire la suite

Leslie Lamport Leslie Lamport - © Photo Bernard Lachaud

Prix Turing

Leslie Lamport, un pionnier de l'informatique

Olivier Lapirot - 3/06/2014

Le prix Turing 2013 de l'Association for Computing Machinery a été décerné cette année à Leslie Lamport, chercheur du laboratoire commun Inria-Microsoft Research. Retour sur quarante ans de travaux d’un chercheur qui met les mathématiques au service du numérique.

Mots-clés :

Accueil > Actualité > Actualités Inria > Leslie Lamport, un pionnier de l'informatique

Lire la suite

Partenariat - Centre de recherche Microsoft

Microsoft et Inria renouvellent leur collaboration

6/10/2009

Après trois années d’une collaboration riche de résultats scientifiques reconnus et prometteurs, Microsoft et Inria confirment le développement de leur partenariat. En présence de Valérie Pécresse, ministre de l’Enseignement supérieur et de la Recherche et de Steve Ballmer, Chief Executive Officer de Microsoft, Michel Cosnard, Président-directeur général d'Inria et Andrew Herbert, Directeur de Microsoft Research Cambridge signent un nouvel accord renouvelant l’activité du centre de recherche commun pour une durée de quatre ans.

Mots-clés :

Accueil > Actualité > Médiacenter > Microsoft et Inria renouvellent leur collaboration

Lire la suite

Partenariat

Inria et Microsoft renouvellent leur partenariat

AB (*) - 19/06/2018

Forts d’une collaboration de plus de douze ans au sein d’un centre de recherche commun, Microsoft et Inria annoncent le renouvellement de leur partenariat pour cinq ans et lancent une nouvelle phase de leurs travaux conjoints avec la volonté partagée d’accélérer le déploiement de l’intelligence artificielle auprès de l’écosystème français.

Mots-clés :

Accueil > Actualité > Actualités Inria > Inria et Microsoft renouvellent leur partenariat

Lire la suite

Haut de page

Suivez Inria