Sites Inria

Il y a 12 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

MSR Inria Joint Lab

Inria et Microsoft prolongent leur collaboration

9/04/2014

Jean-Philippe Courtois, Président de Microsoft international et Michel Cosnard, Président Directeur Général d’Inria annoncent aujourd’hui le renouvellement pour les quatre prochaines années de leur partenariat autour du Centre de Recherche Commun Inria-Microsoft Research.

Mots-clés :

Accueil > Actualité > Actualités Inria > Inria et Microsoft prolongent leur collaboration

Lire la suite

Partenariat scientifique

Forum 2011 Labo MSR-Inria

Céline Acharian - 18/03/2011

Le 12 avril prochain, Inria et Microsoft Research organisent, au Centre de conférence de Microsoft-France à Issy-les-Moulineaux, la journée annuelle de présentation des équipes de recherche du laboratoire commun. Lors de ce Forum 2011, les chercheurs rendront publics les travaux de leurs 8 équipes de recherche. Un programme chargé de conférences et de démonstrations, témoin de la qualité de la collaboration scientifique au sein de ce jeune laboratoire.

Mots-clés :

Accueil > Actualité > Actualités Inria > Forum 2011 Labo MSR-Inria

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

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !