Leslie Lamport
informaticien américain / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Leslie Lamport?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
Pour les articles homonymes, voir Lamport.
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).
Faits en bref Naissance, Nationalité ...
Leslie Lamport
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
A travaillé pour |
Microsoft Research (depuis ) Digital Equipment Corporation (- SRI International (- MITRE (- |
---|---|
Membre de | |
Directeur de thèse | |
Site web | |
Distinctions |
Prix Turing () Liste détaillée Prix Dijkstra (, et ) Docteur honoris causa de l'université de Kiel () Docteur honoris causa de l'université Rennes-I () Docteur honoris causa de l'École polytechnique fédérale de Lausanne () Prix IEEE Emanuel R. Piore () Docteur honoris causa (Université de la Suisse italienne ; Université Nancy-I) ( et ) Médaille John von Neumann () Prix Turing () ACM Fellow () |
Calcul distribué, LaTeX, TLA+, logique temporelle des actions (d), Paxos |
Fermer