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