Leslie Lamport

Summary

Leslie Lamport is a human^[1]. He was born in New York City^[2]. He was born on +1941-02-07T00:00:00Z^[3]. He worked as a mathematician^[4], computer scientist^[5], programmer^[6], engineer^[7], and writer^[8]. He ranks in the top 0.69% of human entities by monthly Wikipedia readership (604 views/month, #6,913 of 1,000,298).^[9]

Key Facts

• Leslie Lamport's place of birth was New York City^[2].
• Leslie Lamport was born on +1941-02-07T00:00:00Z^[3].
• Leslie Lamport held citizenship in United States^[10].
• English was Leslie Lamport's native language^[11].
• Leslie Lamport worked as a mathematician^[4].
• Leslie Lamport worked as a computer scientist^[5].
• Leslie Lamport worked as a programmer^[6].
• Leslie Lamport worked as an engineer^[7].
• Leslie Lamport worked as a writer^[8].
• Leslie Lamport's field of work was computer science^[12].
• Leslie Lamport's field of work was distributed computing^[13].
• Leslie Lamport was employed by Microsoft Research^[14].
• Leslie Lamport's education included a stint at Massachusetts Institute of Technology^[15].
• Leslie Lamport was educated at Brandeis University^[16].
• Leslie Lamport was educated at Bronx High School of Science^[17].
• Leslie Lamport's doctoral advisor was Richard Palais^[18].
• A notable work attributed to Leslie Lamport is distributed computing^[19].
• A notable work attributed to Leslie Lamport is LaTeX^[20].
• A notable work attributed to Leslie Lamport is TLA+^[21].
• A notable work attributed to Leslie Lamport is temporal logic of actions^[22].
• A notable work attributed to Leslie Lamport is Paxos^[23].
• Leslie Lamport received the Dijkstra Prize^[24].
• Leslie Lamport received the IEEE John von Neumann Medal^[25].
• Leslie Lamport received the Turing Award^[26].
• Leslie Lamport received the IEEE Emanuel R. Piore Award^[27].

Body

Origins and Family

Born in New York City^[2], Leslie Lamport… he was born on +1941-02-07T00:00:00Z^[3]. English was his native language^[11].

Education

Educated at Massachusetts Institute of Technology^[15], a university^[28], in United States^[29], founded in 1861^[30], headquartered in Cambridge^[31]; Brandeis University^[16], a university^[32], in United States^[33], founded in 1948^[34], headquartered in Waltham^[35]; and Bronx High School of Science^[17], a high school^[36], in United States^[37], founded in 1938^[38]. Leslie Lamport's doctoral advisor was Richard Palais^[18]. Academic degrees include Master of Science^[39] and Doctor of Philosophy^[40].

Career and Affiliations

Recorded occupations include mathematician^[4], computer scientist^[5], programmer^[6], engineer^[7], and writer^[8]. Fields of work include computer science^[12], an academic discipline^[41] and distributed computing^[13], a field of study^[42]. Among Leslie Lamport's employers was Microsoft Research^[14].

Works and Contributions

Notable works include distributed computing^[19], LaTeX^[20], TLA+^[21], temporal logic of actions^[22], and Paxos^[23]. Things named for Leslie Lamport include LaTeX^[43], Lamport timestamps^[44], Lamport's bakery algorithm^[45], Lamport signature^[46], and Chandy-Lamport Algorithm^[47].

Recognition

Awards received include Dijkstra Prize^[24], a science award^[48], in Internationality^[49], founded in 2000^[50]; IEEE John von Neumann Medal^[25], a science award^[51], founded in 1992^[52]; Turing Award^[26], a science award^[53], in United States^[54], founded in 1966^[55]; IEEE Emanuel R. Piore Award^[27], a technical field award^[56], founded in 1976^[57]; honorary doctor of the University of Rennes I^[58], an award^[59], in France^[60]; and honorary doctor of the École polytechnique fédérale de Lausanne^[61], an award^[62], in Switzerland^[63].

Why It Matters

Leslie Lamport ranks in the top 0.69% of human entities by monthly Wikipedia readership (604 views/month, #6,913 of 1,000,298).^[9] He has Wikipedia articles in 25 language editions, a strong signal of global cultural recognition.^[64] He is known by 8 alternative names across languages and contexts.^[65]

He is credited with the discovery of Paxos^[66], an algorithmic paradigm^[67]; Lamport timestamps^[68], a logical clock^[69]; Lamport's bakery algorithm^[70], a concurrency control algorithm^[71]; happened-before^[72], a binary relation^[73]; and Chandy-Lamport Algorithm^[74], a parallel algorithm^[75]. Entities named for him include LaTeX^[43], Lamport timestamps^[44], Lamport's bakery algorithm^[45], Lamport signature^[46], and Chandy-Lamport Algorithm^[47].

FAQs

Where was Leslie Lamport born?

Leslie Lamport was born in New York City^[2].

What did Leslie Lamport do for work?

Leslie Lamport worked as mathematician^[4], computer scientist^[5], programmer^[6], engineer^[7], and writer^[8].

Where did Leslie Lamport go to school?

Leslie Lamport was educated at Massachusetts Institute of Technology^[15], Brandeis University^[16], and Bronx High School of Science^[17].

What awards did Leslie Lamport receive?

Honors received include Dijkstra Prize^[24], IEEE John von Neumann Medal^[25], Turing Award^[26], and IEEE Emanuel R. Piore Award^[27].

What did Leslie Lamport discover?

Leslie Lamport is credited as discoverer of Paxos^[66], Lamport timestamps^[68], Lamport's bakery algorithm^[70], and happened-before^[72].