-
萊斯利·蘭伯特
鎖定
萊斯利·蘭伯特（Leslie Lamport），1941年生，美國計算機科學家，2013年圖靈獎得主，美國國家科學院院士，美國國家工程院院士，美國藝術與科學院院士，ACM Fellow（國際計算機協會會士），微軟研究院研究科學家。
[1-2]
[7]
[10]
萊斯利·蘭伯特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年當選為美國計算機歷史博物館院士。
[2]
[5]
[7]
[9]
- 中文名
- 萊斯利·蘭伯特
- 外文名
- Leslie Lamport
- 國 籍
- 美國
- 出生地
- 美國紐約
- 畢業院校
- 布蘭迪斯大學
- 職 業
- 科研工作者
- 主要成就
-
1991年當選為美國國家工程院院士
2011年當選為美國國家科學院院士
2013年獲得圖靈獎
萊斯利·蘭伯特人物經歷
1941年2月7日，萊斯利·蘭伯特出生於美國紐約。
1957年，畢業於布朗克斯科學高中。
1960年，獲得麻省理工學院數學學士學位。
1963年，獲得布蘭迪斯大學數學碩士學位。
1970年—1977年，在馬薩諸塞州計算機協會擔任計算機科學家。
1977年—1985年，在SRI國際公司擔任計算機科學家。
1985年—2001年，在Digital Equipment Corporation Systems Research Center（後為康柏所有）擔任計算機科學家。
1991年，當選為美國國家工程院院士。
2001年，加入位於加州山景城的微軟研究院。
2013年，獲得圖靈獎。
2014年，當選為ACM Fellow（國際計算機協會會士）；同年當選為美國藝術與科學院院士。
萊斯利·蘭伯特主要成就
萊斯利·蘭伯特科研成就
- 科研綜述
萊斯利·蘭伯特對分佈式和併發系統的理論和實踐作出了基礎性貢獻，發明了因果關係和邏輯時鐘、安全性和活動性、複製狀態機和順序一致性等概念；研究的算法已經成為容錯分佈式系統的標準工程實踐；開發了關於併發系統的正式規範和驗證的工作，併為應用這些方法的自動化工具的開發作出了貢獻；具體貢獻包括互斥解和麪包房算法、併發編程的基礎、分佈式系統基礎、容錯和狀態機複製、程序的正式説明和驗證、LaTeX等。
[2]
1978年，萊斯利·蘭伯特發表了論文“Time, Clocks and the Ordering of Events in a Distributed System”，這篇論文提供了一種分佈式系統中時間概念的的思考角度，並提出了一種時鐘模型（Lamport 邏輯時鐘）。
1982年，萊斯利·蘭伯特與合作者共同發表了論文“Byzantine Generals Problem”，論文討論的是拜占庭將軍問題：在一個由若干計算機組成的系統中，如果存在一些惡意的計算機，是否還能夠達成共識？這一篇論文給出了一種理論上被證明正確的算法，實現了一定條件下的共識機制。拜占庭共識機制在實時系統中得到了應用，比如航空調度系統。後來，隨着比特幣的發明，拜占庭共識機制在區塊鏈中也得到了應用。
1989年，萊斯利·蘭伯特提出了Paxos，用多份拷貝來提高長時間運行的分佈式系統的可靠性。這一算法後來在Google Chubby項目和Microsoft Autopilot集羣管理項目中得到了實現。
[3]
- 學術論文
萊斯利·蘭伯特人才培養
- 出版教材
封面
萊斯利·蘭伯特榮譽表彰
獲獎時間 | 榮譽表彰 |
1991年 | 美國國家工程院院士 |
2000年 | Dijkstra獎 |
2003年 | 法國雷恩大學榮譽博士 |
2003年 | 基爾基督教阿爾佈雷希茨大學榮譽博士 |
2003年 | 基爾大學名譽博士 |
2004年 | 瑞士聯邦理工學院榮譽博士 |
2004年 | IEEE Emanuel R. Piore獎 |
2004年 | IEEE Piore獎 |
2005年 | Edsger W. Dijkstra分佈式計算獎 |
2006年 | 盧加諾大學榮譽博士 |
2006年 | 意大利盧加諾大學榮譽博士 |
2007年 | 南京大學榮譽博士 |
2007年 | ACM SIGOPS名人堂獎 |
2008年 | IEEE約翰·馮·諾伊曼獎 |
2011年 | 美國國家科學院院士 |
2013年 | 圖靈獎 |
2014年 | ACM Fellow |
2014年 | 美國藝術與科學院院士 |
2017年 | 布蘭迪斯大學榮譽博士 |
2019年 | 美國計算機歷史博物館院士 |
2019年 | NEC C&C獎 |
萊斯利·蘭伯特社會任職
萊斯利·蘭伯特人物評價
（萊斯利·蘭伯特）對分佈式和併發系統的理論和實踐作出了基礎性貢獻（For fundamental contributions to the theory and practice of distributed and concurrent systems）。（2013年圖靈獎評）
[8]
萊斯利·蘭波特徹底改變了電腦之間的對話方式（Leslie Lamport revolutionized how computers talk to each other）。（Quanta Magazine評）
[12]
在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）。（美國計算機歷史博物館評）
[13-14]
- 參考資料
-
- 1. 74位圖靈獎得主背景顯示：大多數沒有主修計算機專業，也並非高引用計算機科學家 ．計算機教育[引用日期2023-08-18]
- 2. LESLIE LAMPORT ．ACM[引用日期2023-08-18]
- 3. 立秋 | 將理論與系統相結合的分佈式系統鼻祖 ．北京大學前沿計算研究中心[引用日期2023-08-18]
- 4. 萊斯利·蘭伯特(Leslie B. Lamport) ．AMiner[引用日期2023-08-18]
- 5. Leslie B. Lamport ．美國國家科學院[引用日期2023-08-18]
- 6. 2005 Edsger W. Dijkstra Prize in Distributed Computing – ACM Symposium on Principles of Distributed Computing ．ACM Symposium on Principles of Distributed Computing[引用日期2023-08-18]
- 7. The Writings of Leslie Lamport ．Leslie Lamport個人主頁[引用日期2023-08-18]
- 8. Leslie Lamport ．ACM[引用日期2023-08-18]
- 9. LESLIE LAMPORT'S HOME PAGE ．LESLIE LAMPORT主頁[引用日期2023-08-18]
- 10. Leslie Lamport ．微軟[引用日期2023-08-18]
- 11. Leslie Lamport | Turing Award, Biography, & Facts | Britannica ．Britannica[引用日期2023-08-18]
- 12. How to Write Software With Mathematical Perfection ．Quanta Magazine[引用日期2023-08-18]
- 13. Leslie Lamport - CHM ．美國計算機歷史博物館[引用日期2023-08-18]
- 14. Leslie Lamport, MA’63, PhD’72 | Honorary Degree Recipients | Commencement 2017 | ．Brandeis University[引用日期2023-08-18]
- 15. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers ．微軟[引用日期2023-08-19]
- 收起
