3562
4
0
2014-03-21 23:05:13
2014-03-21
微軟研究院首席研究員Leslie Lamport榮獲2013年圖靈獎，該獎項是計算機界最高榮譽獎項，有“計算機界的諾貝爾獎”之稱，專門獎勵那些對計算機事業作出重要貢獻的個人。
Leslie Lamport獲獎原因是他在提升計算機系統的可靠性以及穩定性領域的杰出貢獻。他使分布式計算系統看起來混亂的行為變得清晰、定義明確且具有連貫性，在該系統下，多臺自主計算機之間可以相互通信。為了完善實時分布系統，Leslie Lamport專門設計了重要的算法并開發形式建模和驗證協議，這些貢獻提升了計算系統的性能、正確性和可靠性。
Leslie Lamport是分布式系統領域的先鋒人物，他于1941年在紐約出生，1960年畢業于麻省理工學院數學專業，1963年獲得布蘭迪斯大學數學碩士學位，1972年獲得布蘭迪斯大學數學博士學位。1982年Leslie Lamport與他人共同發表論文“拜占廷將軍問題”，成為一種容錯理論。1984年前后，Leslie Lamport編寫了便于自己使用的宏包套件，并命名為LaTeX。1984年Leslie Lamport發表論文“分布系統中的時間、時鐘和事件排序”。Leslie Lamport對計算機科學和實踐都有著卓越的貢獻。
2001年Leslie Lamport進入位于加利福尼亞的微軟研究院，任高級研究員，從事分布式計算機系統理論研究。2004年，由于在計算機信息處理方面的突出貢獻，Leslie Lamport獲得皮奧爾獎（為紀念電子學著名學者EmmanuelR.Piore而設立），同年獲瑞士洛桑聯邦工業大學榮譽博士。
圖靈獎年度頒獎典禮將于今年6月21日在舊金山舉行，在頒獎典禮上，美國計算機協會將會為2013年圖靈獎獲得者頒獎，屆時獲獎者將獲得25萬美元的獎勵，該獎金由英特爾和Google兩家公司贊助。
文章來源：Acm （文/李京京 責編/錢曙光）
