萊斯利·蘭伯特

萊斯利·蘭伯特（Leslie Lamport），1941年生，美國計算機科學家，2013年圖靈獎得主，美國國家科學院院士，美國國家工程院院士，美國藝術與科學院院士，ACM Fellow（國際計算機協會會士），微軟研究院研究科學家。

萊斯利·蘭伯特1957年畢業於布朗克斯科學高中；1960年獲得麻省理工學院數學學士學位；1963年獲得布蘭迪斯大學數學碩士學位；1970年至1977年在麻薩諸塞州計算機協會擔任計算機科學家；1972年獲得布蘭迪斯大學數學博士學位；1977年1985年在SRI國際公司擔任計算機科學家；1985年2001年在Digital Equipment Corporation Systems Research Center（後為康柏所有）擔任計算機科學家；1991年當選為美國國家工程院院士；2001年加入位於加州山景城的微軟研究院；2011年當選為美國國家科學院院士；2013年獲得圖靈獎；2014年當選為ACM Fellow（國際計算機協會會士）；同年當選為美國藝術與科學院院士；2019年當選為美國計算機歷史博物館院士。

萊斯利·蘭伯特致力於算法、分散式計算、bakery算法方面的研究。

基本介紹

• 中文名：萊斯利·蘭伯特
• 外文名：Leslie Lamport
• 國籍：美國
• 出生地：美國紐約
• 畢業院校：布蘭迪斯大學
• 職業：科研工作者
• 主要成就：1991年當選為美國國家工程院院士
  2011年當選為美國國家科學院院士
  2013年獲得圖靈獎

人物經歷

1941年2月7日，萊斯利·蘭伯特出生於美國紐約。

1957年，畢業於布朗克斯科學高中。

1960年，獲得麻省理工學院數學學士學位。

1963年，獲得布蘭迪斯大學數學碩士學位。

1970年—1977年，在麻薩諸塞州計算機協會擔任計算機科學家。

1972年，獲得布蘭迪斯大學數學博士學位。

1977年—1985年，在SRI國際公司擔任計算機科學家。

1985年—2001年，在Digital Equipment Corporation Systems Research Center（後為康柏所有）擔任計算機科學家。

1991年，當選為美國國家工程院院士。

2001年，加入位於加州山景城的微軟研究院。

2011年，當選為美國國家科學院院士。

2013年，獲得圖靈獎。

2014年，當選為ACM Fellow（國際計算機協會會士）；同年當選為美國藝術與科學院院士。

2019年，當選為美國計算機歷史博物館院士。

主要成就

科研成就

• 科研綜述

萊斯利·蘭伯特對分散式和並發系統的理論和實踐作出了基礎性貢獻，發明了因果關係和邏輯時鐘、安全性和活動性、複製狀態機和順序一致性等概念；研究的算法已經成為容錯分散式系統的標準工程實踐；開發了關於並發系統的正式規範和驗證的工作，並為套用這些方法的自動化工具的開發作出了貢獻；具體貢獻包括互斥解和麵包房算法、並發編程的基礎、分散式系統基礎、容錯和狀態機複製、程式的正式說明和驗證、LaTeX等。

1978年，萊斯利·蘭伯特發表了論文“Time, Clocks and the Ordering of Events in a Distributed System”，這篇論文提供了一種分散式系統中時間概念的的思考角度，並提出了一種時鐘模型（Lamport 邏輯時鐘）。

1982年，萊斯利·蘭伯特與合作者共同發表了論文“Byzantine Generals Problem”，論文討論的是拜占庭將軍問題：在一個由若干計算機組成的系統中，如果存在一些惡意的計算機，是否還能夠達成共識？這一篇論文給出了一種理論上被證明正確的算法，實現了一定條件下的共識機制。拜占庭共識機制在實時系統中得到了套用，比如航空調度系統。後來，隨著比特幣的發明，拜占庭共識機制在區塊鏈中也得到了套用。

1989年，萊斯利·蘭伯特提出了Paxos，用多份拷貝來提高長時間運行的分散式系統的可靠性。這一算法後來在Google Chubby項目和Microsoft Autopilot集群管理項目中得到了實現。

• 學術論文

據2023年8月AMiner平台數據，萊斯利·蘭伯特已發表學術論文315篇，論文被引60121次，H-index：75。

人才培養

• 出版教材

萊斯利·蘭伯特2002年6月出版了《Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers》教材。

封面

榮譽表彰

社會任職

萊斯利·蘭伯特曾擔任MITRE公司、萬寶路學院、麻薩諸塞州計算機協會、SRI國際公司和美國數字設備公司/康柏的研究科學家。

人物評價

（萊斯利·蘭伯特）對分散式和並發系統的理論和實踐作出了基礎性貢獻（For fundamental contributions to the theory and practice of distributed and concurrent systems）。（2013年圖靈獎評）

萊斯利·蘭波特徹底改變了電腦之間的對話方式（Leslie Lamport revolutionized how computers talk to each other）。（Quanta Magazine評）

在50年的職業生涯中，Lamport對分散式和並發計算系統的理論和實踐作出了許多開創性的貢獻，這些見解極大地提高了這些系統的性能和可靠性（Over a career spanning five decades, Lamport has made multiple groundbreaking contributions to the theory and practice of distributed and concurrent computing systems, insights that have dramatically improved the performance and reliability of such systems）。（美國計算機歷史博物館評）