分布式领域专家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/找到。

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