3616
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é)編/錢曙光）
