Leslie Lamport
Leslie Lamport (né 7 Février, 1941 à New - York ) est un Américain mathématicien , informaticien et programmeur . En 2013, il a reçu le prix Turing pour ses contributions à la théorie et à la pratique des systèmes distribués et concurrents.
Vie
Lamport est diplômé du Massachusetts Institute of Technology avec un baccalauréat en mathématiques en 1960 . De 1962 à 1965, il a travaillé à temps partiel pour Mitre Corporation . En 1963, il a obtenu une maîtrise (Master of Arts) de l'Université Brandeis et a obtenu son doctorat en mathématiques de Richard Palais en 1972 ( Le problème analytique de Cauchy avec des données singulières ). Lamport a été professeur de mathématiques au Marlboro College de 1965 à 1969 et a travaillé pour Massachusetts Computer Associates de 1970 à 1977. De 1977 à 1985, il a été chez SRI International et de 1985 à 2001 chez Digital Equipment Corporation / Compaq (en tant qu'ingénieur-conseil principal). Il travaille pour Microsoft Research depuis 2001 .
plante
Lamport est connu comme le développeur de LaTeX . En informatique théorique , il a effectué des recherches dans les domaines suivants, entre autres:
- En sémantique formelle, il a traité des preuves d'exactitude pour les algorithmes parallèles .
- Dans le domaine des systèmes distribués , il a principalement examiné la synchronisation des processus (voir aussi horloge de Lamport , cohérence séquentielle , algorithme de snapshot , erreur byzantine ).
- Dans la logique temporelle, il a introduit la logique temporelle des actions (TLA).
- En 1979, en cryptologie , il a développé la méthode de signature unique Lamport-Diffie avec Whitfield Diffie .
Polices
- LaTeX: un système de préparation de documents , Addison-Wesley 1986, 2e édition 1994
- Spécification des systèmes: le langage TLA + et les outils pour les ingénieurs matériels et logiciels , Addison-Wesley 2003
- Time, Clocks and the Ordering of Events in a Distributed System : Première publication dans: Communications of the ACM 21, 7 (juillet 1978), pp. 558-565. Relancé i.a. in Distributed Computing: Concepts and Implementations , McEntire et al., éd. IEEE Press, 1984.
- Les écrits de Leslie Lamport , liste annotée des publications de Leslie Lamport
Récompenses
- Membre de la National Academy of Engineering (1991)
- Prix PODC Influential Paper (2000, aujourd'hui Dijkstra Prize )
- Doctorat honoris causa, Université de Rennes 1 (2003)
- Doctorat honoris causa, Christian-Albrechts-Universität zu Kiel (2003)
- Doctorat honoris causa, École polytechnique fédérale de Lausanne (2004)
- Doctorat honoris causa, Università della Svizzera italiana , Lugano (2006)
- Prix IEEE Emanuel R. Piore (2004)
- Prix Dijkstra (2005)
- Doctorat honoris causa, Université Henri Poincaré , Nancy (2007)
- Médaille IEEE John von Neumann (2008)
- Membre de l' Académie nationale des sciences (2011)
- Prix ACM AM Turing (2013)
- Prix Dijkstra (2014)
- Membre de l' American Academy of Arts and Sciences (2014)
- Fellow du Computer History Museum (2019)
liens web
- Page d'accueil de Leslie Lamport (anglais)
- Hall of Fame de l' Université de Pittsburgh (anglais)
- Vidéos de et sur Leslie Lamport dans le portail audiovisuel de la bibliothèque d'informations techniques
Preuve individuelle
- ↑ Données de vie selon American Men and Women of Science , Thomson Gale 2004
- ↑ Leslie Lamport dans le projet de généalogie des mathématiques (anglais)
| données personnelles | |
|---|---|
| NOM DE FAMILLE | Lamport, Leslie |
| BRÈVE DESCRIPTION | Mathématicien américain, informaticien et programmeur et développeur LaTeX |
| DATE DE NAISSANCE | 7 février 1941 |
| LIEU DE NAISSANCE | New York |