Leslie Lamport

Leslie Lamport

Leslie Lamport,1941年出生於紐約。

基本介紹

  • 中文名:Leslie Lamport
  • 出生地:紐約
  • 出生日期:1941年
  • 性別:男
人物經歷,人物榮譽,

人物經歷


Leslie Lamport
1960年畢業於麻省理工學院數學專業。
1963年獲得布蘭迪斯大學數學碩士學位。
1965-1969年任教於馬爾波羅學院
1970-1972年,麻省計算機協會系統設計員。
1972年獲得布蘭迪斯大學數學博士學位。
1972-1977年,麻省計算機協會研究員。
1977-1985年,SRI 公司計算機科學實驗室任究員。

人物榮譽

1982年與另兩人共同發表論文“拜占廷將軍問題”,既允許軍中可能有叛徒,又要保證戰爭勝利,引申到計算機領域,成為一種容錯理論。
1984年前後,使用 Knuth 教授發明的 plain TeX 排版軟體撰寫一些並行計算方面的論文,感到還是不太方便,於是編寫了便於自己使用的宏包套件,並命名為 LaTeX。其主要改進是將版面設計與文稿內容分開處理,只要使用者選擇了一種檔案類別,LaTeX 自動將整本書或整篇文章的結構和標題就按照這種檔案類別典型樣式來設定,作者只要專注文章的內容就可以了。起初 LaTeX 在計算機科學家之間流傳,大家覺得 LaTeX 比 plain TeX 使用更方便,就經常通過各種渠道向他索取。
1984年發表論文“分布系統中的時間、時鐘和事件排序”。
1985-2001年,在數字設備公司以及康柏系統研究中心作研究工作。(1998年,康柏計算機公司收購了數字設備公司。2002年惠普公司完成收購康柏公司之後,數字設備公司的剩餘部分併入了惠普公司。)
1985年,花兩個月時間將 LaTeX 原始碼整理出來,並編寫出版了一本 LaTeX 使用手冊《LaTeX: 一種文稿排版系統》,當時流行的 LaTeX 版本為2.09。
1989年8月21日,在史丹福大學 TeX 用戶組織會議上,同意將 LaTeX 的維護和開發工作交給 LaTeX3 小組。
1994 年,與 LaTeX3 小組對 LaTeX 作了一次重大改進,版本命名為 LaTeX2e,並出版 LaTeX 使用手冊 第二版。
2001年進入位於加利福尼亞的微軟研究院,任高級研究員,從事分散式計算機系統理論研究。
2003年獲法國雷恩大學榮譽博士。
2003年7月10日,獲德國基爾大學榮譽博士並作學術報告,體恤衫上印著:
“You want proof ? I'll give you proof !”
2004年,由於在計算機信息處理方面的突出貢獻,獲得皮奧爾獎。同年獲瑞士洛桑聯邦工業大學榮譽博士。
截至2006年,已發表論文160篇。
因為在分散式計算方面的傑出貢獻,獲得ACM頒發的2013年度圖靈獎(在2014年宣布)。

相關詞條

熱門詞條

聯絡我們