Sites Inria

Il y a 4 Résultats avec le mot clé : "Prix Turing"

Leslie Lamport Leslie Lamport - © Photo Bernard Lachaud

Conférence

Leslie Lamport le 17 juillet à Jussieu

CD - 7/07/2014

Leslie Lamport, prix Turing 2013, chercheur Microsoft au sein du labo commun Inria-MSR, fera un discours le 17 juillet à l'Université Pierre et Marie Curie dans le cadre de la conférence PODC organisée par l’ACM.

Mots-clés :

Accueil > Actualité > Actualités Inria > Leslie Lamport le 17 juillet à Jussieu

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

Enseignement au LRI © INRIA / Photo Jim Wallace

Equipes de recherche

Les chaires d'enseignement et de recherche

Inria soutient depuis 2008 une nouvelle forme de partenariat : les chaires d’enseignement et de recherche. En collaboration avec des partenaires scientifiques et industriels, ces chaires sont destinées à renforcer des domaines cruciaux pour le développement technologique et l'innovation. Cette collaboration a déjà donné lieu à deux projets ambitieux : une chaire de recherche avec Schneider Electric et une chaire avec l’école Polytechnique et la fondation EADS.

Mots-clés :

Accueil > Recherches > Structures de recherche > Chaires d'enseignement et de recherche

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