Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Leslie Lamport
Résumé
Leslie B. Lamport, né le à New York, est un chercheur en informatique américain, spécialiste de l'algorithmique répartie. Il obtient le prix Turing 2013. Il est le concepteur du logiciel libre de composition de documents LaTeX (1983).
Carrière
Il fait des études en mathématiques au Massachusetts Institute of Technology (MIT) puis à l'université Brandeis où il reçoit son Ph.D. (doctorat) de mathématiques en 1972. Il travaille au Massachusetts Computer Associates de 1970 à 1977, puis au SRI International de 1977 à 1985, et au Digital Equipment Corporation Systems Research Center de 1985 à 2001. Il travaille depuis 2001 pour Microsoft Research.
Travaux
Algorithme de la boulangerie
Algorithme de la boulangerie
L'algorithme de la boulangerie est un algorithme qui apporte une solution « remarquablement intuitive et naturelle » au problème d'exclusion mutuelle formulé par Dijkstra. La solution précédente pro
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées
Chargement
Personnes associées
Chargement
Unités associées
Chargement
Concepts associés
Chargement
Cours associés
Chargement
Séances de cours associées
Chargement