Leslie Lamport

Biographie
Naissance	7 février 1941 (83 ans); New York
Nationalité	américaine
Formation	Institut de technologie du Massachusetts (baccalauréat universitaire ès sciences); Université Brandeis (doctorat et master of science); Bronx High School of Science
Activités	Mathématicien, ingénieur, programmeur, informaticien, écrivain
A travaillé pour	Microsoft Research (depuis 2001); Digital Equipment Corporation (1985-2001); SRI International (1977-1985); MITRE (1962-1965)
Membre de	Académie américaine des sciences (2011); Association for Computing Machinery (2015); Académie américaine des arts et des sciences
Directeur de thèse	Richard Palais
Site web	www.lamport.org
Distinctions	Prix Turing (2013); Liste détaillée Prix Dijkstra (2000, 2005 et 2014); Docteur honoris causa de l'université de Kiel (2003); Doctorat honoris causa de l'université Rennes-I (2003); Docteur honoris causa de l'École polytechnique fédérale de Lausanne (2004); Prix IEEE Emanuel R. Piore (2004); Docteur honoris causa (2007); Médaille John von Neumann (2008); Prix Turing (2013); ACM Fellow (2014)
	Calcul distribué, LaTeX, TLA+, logique temporelle des actions (d), Paxos

Leslie B. Lamport, né le 7 février 1941 à 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^[1]^,^[2]. 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^[2].

Travaux

Algorithme de la boulangerie

Article détaillé : 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^[2]. La solution précédente proposée par Dijkstra était une solution haut-niveau à un problème bas-niveau^[2].

Systèmes répartis

On fait parfois référence à Lamport comme au père du calcul réparti^[3]. Il formule notamment en 1979 la relation « arrivé-avant » (en anglais « happened before »), qui permet d'obtenir un ordre partiel sur les actions dans des systèmes répartis. Lamport invente également le système d'horloges qui porte son nom. Elles sont utilisées dans le cadre de la synchronisation des systèmes distribués. Il travaille également sur certains aspects cryptographiques comme les mots de passe à usage unique et d'autres problèmes liés au consensus et à la concurrence dans les réseaux. Il s'intéresse aussi au problème du consensus, notamment au protocole Paxos.

LaTeX

Cependant, Leslie Lamport est principalement connu hors de la communauté scientifique de l'informatique comme le créateur de LaTeX (basé lui-même sur TeX, de Donald Knuth), un système de mise en page de documents notamment utilisé par les scientifiques de nombreuses disciplines (informatique, mathématiques, physique, bio-informatique…) pour des documents comportant de nombreuses formules mathématiques. Depuis, le développement de LaTeX est assuré par d'autres.

Honneurs et prix

Leslie Lamport reçoit le prix Dijkstra à trois reprises en 2000, 2005 et 2014^[4]^,^[5] et la médaille John von Neumann en 2008^[6]. Il est fait docteur honoris causa décerné par l'Université de Rennes 1 en 2003, l'université Christian Albrecht de Kiel en 2003 également, par l'École polytechnique fédérale de Lausanne en 2004, par l'université de la Suisse italienne en 2006, et par l'université Henri Poincaré en 2007^[2]^,^[5].

Le 18 mars 2014, il reçoit le prix Turing 2013^[7]^,^[8] pour « ses contributions fondamentales théoriques et appliquées dans les systèmes distribués et concurrents, notamment en inventant des concepts tels que la causalité et les horloges logiques, […] et la cohérence séquentielle^[2] ».

Bibliographie

(en) Leslie Lamport, LaTeX : a document preparation system, Addison Wesley Publishing Company, 1986, 242 p. (ISBN 9780201157901 et 020115790X)
(en) Microsoft Research, Leslie Lamport Receives Turing Award, 18 mars 2014.

Références

↑ (en) « Leslie Lamport », sur le site du Mathematics Genealogy Project.
↑ ^{a b c d e et f} (en) « Leslie Lamport - A.M. Turing Award Laureate », sur acm.org (consulté le 7 avril 2023).
↑ Billet de Michel Raynal sur le blog Binaire du Monde (22 mars 2014).
↑ Voir Page du prix Dijkstra sur le site de l'EATCS.
↑ ^{a et b} Michel Raynal, « Un regard sur les apports de Leslie Lamport à travers le prix Dijkstra », Bulletin de la société informatique de France,‎ mars 2015, p. 61-65 (lire en ligne)
↑ « IEEE John von Neumann Medal Recipients », IEEE (consulté le 15 mars 2010).
↑ « Leslie Lamport, un informaticien dans les nuages », sur lemonde.fr, 16 juin 2014 (consulté le 11 juillet 2018)
↑ « Leslie Lamport, l'homme qui a appris aux ordinateurs à travailler ensemble », sur lesechos.fr, 30 mai 2014 (consulté le 11 juillet 2018)

Annexes

Articles connexes

Liens externes

Site officiel
Ressources relatives à la recherche :
Notice dans un dictionnaire ou une encyclopédie généraliste :
- Britannica
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Italie
- Japon
- CiNii
- Pologne
- Israël
- NUKAT
- Norvège
- WorldCat
(en) Publications de Leslie Lamport sur son site personnel

[1] (en) « Leslie Lamport », sur le site du Mathematics Genealogy Project.

[TuringAward-2] {a b c d e et f} (en) « Leslie Lamport - A.M. Turing Award Laureate », sur acm.org (consulté le 7 avril 2023).

[3] Billet de Michel Raynal sur le blog Binaire du Monde (22 mars 2014).

[4] Voir Page du prix Dijkstra sur le site de l'EATCS.

[Raynal-5] {a et b} Michel Raynal, « Un regard sur les apports de Leslie Lamport à travers le prix Dijkstra », Bulletin de la société informatique de France,‎ mars 2015, p. 61-65 (lire en ligne)

[6] « IEEE John von Neumann Medal Recipients », IEEE (consulté le 15 mars 2010).

[7] « Leslie Lamport, un informaticien dans les nuages », sur lemonde.fr, 16 juin 2014 (consulté le 11 juillet 2018)

[8] « Leslie Lamport, l'homme qui a appris aux ordinateurs à travailler ensemble », sur lesechos.fr, 30 mai 2014 (consulté le 11 juillet 2018)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

Naissance	7 février 1941 (83 ans) New York
Nationalité	américaine
Formation	Institut de technologie du Massachusetts (baccalauréat universitaire ès sciences) Université Brandeis (doctorat et master of science) Bronx High School of Science
Activités	Mathématicien, ingénieur, programmeur, informaticien, écrivain

A travaillé pour	Microsoft Research (depuis 2001) Digital Equipment Corporation (1985-2001) SRI International (1977-1985) MITRE (1962-1965)
Membre de	Académie américaine des sciences (2011) Association for Computing Machinery (2015) Académie américaine des arts et des sciences
Directeur de thèse	Richard Palais
Site web	www.lamport.org
Distinctions	Prix Turing (2013) Liste détaillée Prix Dijkstra (2000, 2005 et 2014) Docteur honoris causa de l'université de Kiel (2003) Doctorat honoris causa de l'université Rennes-I (2003) Docteur honoris causa de l'École polytechnique fédérale de Lausanne (2004) Prix IEEE Emanuel R. Piore (2004) Docteur honoris causa (2007) Médaille John von Neumann (2008) Prix Turing (2013) ACM Fellow (2014)