分布式领域专家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/找到。
为分布式领域的杰出女性点赞！
分布式系统---3 MIT著名教授Nancy Lynch介绍
原文：http://luoqingchao.blog.51cto.com/688895/1894242