分布式系统---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/找到。

为分布式领域的杰出女性点赞！