分佈式系統---3 MIT著名教授Nancy Lynch介紹

分佈式領域專家NancyAnn Lynch教授介紹

英文原文連接https://en.wikipedia.org/wiki/Nancy_Lynch

Nancy Ann Lynch生於1948年，是MIT教授，是分佈式系統研究組和人工智能實驗室的負責人。她在分佈式算法領域發表了大量的論文，包括證僞、建模和驗證，以及input/output automation，也編寫了著名的「分佈式算法」經典書。

基於她在分佈式領域的卓越共享，她得到了以下的獎勵：

1997: ACM Fellow

2001: Dijkstra Prize

2001: National Academy of Engineering

2006: Van Wijngaarden Award

2007: Knuth Prize

2007: Dijkstra Prize

2010: IEEE Emanuel R. Piore Award

2012: Athena Lecturer

2015: National Academy of Sciences

 

她發表的經典論文：

1985年，發表「Impossibility of Distributed Consensus with One Faulty Process」，證實了在異步通訊的分佈式系統環境下，即便只有一個節點（進程）故障，也不可能達成Consensus；這篇分佈式領域很是著名的證僞論文，被大量引用，是分佈式領域的基礎性論文。

1989年，發表「Chapter on Distributed Computing」，和圖靈獎得到者LeslieLamport一塊兒編寫，解決分佈式計算領域SharedVariable Algorithms、Distributed Consensus、Network Algorithms、Network Algorithms等分佈式領域基礎性工做。

Nancy還發表了不少分佈式領域論文，能夠從http://people.csail.mit.edu/lynch/找到。

爲分佈式領域的傑出女性點贊！