微軟研究院首席研究員Leslie Lamport榮獲2013年圖靈獎(jiǎng)，該獎(jiǎng)項(xiàng)是計(jì)算機(jī)界最高榮譽(yù)獎(jiǎng)項(xiàng)，有“計(jì)算機(jī)界的諾貝爾獎(jiǎng)”之稱，專門獎(jiǎng)勵(lì)那些對(duì)計(jì)算機(jī)事業(yè)作出重要貢獻(xiàn)的個(gè)人。

       Leslie Lamport獲獎(jiǎng)原因是他在提升計(jì)算機(jī)系統(tǒng)的可靠性以及穩(wěn)定性領(lǐng)域的杰出貢獻(xiàn)。他使分布式計(jì)算系統(tǒng)看起來混亂的行為變得清晰、定義明確且具有連貫性，在該系統(tǒng)下，多臺(tái)自主計(jì)算機(jī)之間可以相互通信。為了完善實(shí)時(shí)分布系統(tǒng)，Leslie Lamport專門設(shè)計(jì)了重要的算法并開發(fā)形式建模和驗(yàn)證協(xié)議，這些貢獻(xiàn)提升了計(jì)算系統(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ā)表論文“拜占廷將軍問題”，成為一種容錯(cuò)理論。1984年前后，Leslie Lamport編寫了便于自己使用的宏包套件，并命名為L(zhǎng)aTeX。1984年Leslie Lamport發(fā)表論文“分布系統(tǒng)中的時(shí)間、時(shí)鐘和事件排序”。Leslie Lamport對(duì)計(jì)算機(jī)科學(xué)和實(shí)踐都有著卓越的貢獻(xiàn)。

       2001年Leslie Lamport進(jìn)入位于加利福尼亞的微軟研究院，任高級(jí)研究員，從事分布式計(jì)算機(jī)系統(tǒng)理論研究。2004年，由于在計(jì)算機(jī)信息處理方面的突出貢獻(xiàn)，Leslie Lamport獲得皮奧爾獎(jiǎng)（為紀(jì)念電子學(xué)著名學(xué)者EmmanuelR.Piore而設(shè)立），同年獲瑞士洛桑聯(lián)邦工業(yè)大學(xué)榮譽(yù)博士。

       圖靈獎(jiǎng)年度頒獎(jiǎng)典禮將于今年6月21日在舊金山舉行，在頒獎(jiǎng)典禮上，美國計(jì)算機(jī)協(xié)會(huì)將會(huì)為2013年圖靈獎(jiǎng)獲得者頒獎(jiǎng)，屆時(shí)獲獎(jiǎng)?wù)邔@得25萬美元的獎(jiǎng)勵(lì)，該獎(jiǎng)金由英特爾和Google兩家公司贊助。

文章來源：Acm                                             （文/李京京 責(zé)編/錢曙光）