将在计算美国计算机协会的妇女理事会(ACM-W)今天任命南希林奇，软件科学与工程NEC教授在麻省理工学院和麻省理工学院计算机科学和人工智能实验室(CSAIL)首席研究员，作为2012- 2013雅典娜讲师。雅典娜讲师奖旨在表彰为计算机科学做出根本贡献的女性研究人员。它包括由Google提供的10,000美元酬金。
Lynch开发了数学方法来理解分布式系统的功能，这些系统依赖于多个处理器进行计算和协调。这些系统包括传统的有线网络，现代移动通信，云计算系统，并行计算机和工厂机器中的嵌入式计算机。她的贡献包括建模和校对技术，算法和不可能性结果，这些结果现在位于设计分布式系统的计算机科学家的工具箱中。
“林奇的工作影响了理论家和实践者，”ACM-W奖项委员会负责人玛丽简欧文说。“她以清晰，精确的方式阐述该领域的许多核心问题的能力，为计算机系统设计人员找到解决她所验证的限制的方法提供了基础，并且很有可能解决问题。”
在超过30年的职业生涯中，林奇确定了在分布式环境中可能和无法解决的问题之间的界限。她开发了新的分布式算法，创建了用于分析分布式算法和系统的精确模型，并发现了分布式算法可以实现的限制。
Lynch与MJ Fischer和MS Paterson的突破性研究产生了“FLP”结果。它定义了一个数学问题，即在存在故障的情况下在异步分布式系统(即那些没有时序假设的系统)中建立协议的挑战。这项创新对容错分布式数据管理系统和通信系统的设计产生了重大影响。
Lynch的教科书“ 分布式算法”是该领域基础知识的权威参考。它向读者介绍了分布式系统设计的基本问题，包括通信，协调，同步和不确定性。它使用通用的数学框架集成了分布式算法研究的结果。
Lynch与A. Shvartsman和S. Gilbert合作开发了RAMBO(基本对象的可重构原子存储器)算法，该算法在快速变化的网络中维护共享内存，无法保证访问中央服务器进行数据存储。它最初被设想用于军事应用，作为在敌对环境中操作的士兵团队保存重要信息的手段。它还为没有稳定基础设施的第一响应者提供应用程序。
在最近的另一个项目中，林奇和她的合作者提出了一种新的方法来编程用于通信和控制机器人，汽车和飞机的移动网络。它采用了一种新算法，允许实际的移动节点模拟一些固定的虚拟节点，使移动网络的编程变得更加容易。该仿真算法复制附近移动节点处的虚拟节点的状态，并使副本能够被传送到不同的移动节点。
Lynch领导CSAIL的分布式系统集团理论。在加入麻省理工学院之前，她曾在塔夫茨大学，南加州大学，佛罗里达国际大学和佐治亚理工学院任教。Lynch毕业于布鲁克林学院，获得数学学士学位，1972年获得麻省理工学院数学博士学位。
作为ACM研究员和国家工程院院士，Lynch和她的合着者获得了2001年和2007年Dijkstra分布式计算奖。她也是第一位在2007年获得ACM Knuth奖的女性。她是荷兰国家数学与计算机科学研究所2006年第一届van Wijngaarden奖的共同获奖者。2010年，她获得了电气和电子工程师协会颁发的Emanuel R. Piore奖。
邀请Athena Lecturer在ACM活动上发表演讲。Lynch的演讲将在2013年由分布式计算原理(PODC)和并行算法和架构研讨会(SPAA)举行的联合会议上发表，该研讨会由ACM特殊兴趣小组(算法和计算理论)和计算机体系结构赞助。 (SIGARCH)。每年，雅典娜讲师都会授予一位杰出的女性计算机科学家。雅典娜是希腊的智慧女神; 凭借她的知识和目标感，她集中体现了“雅典娜讲师”的力量，决心和智慧。2012 - 2013年雅典娜讲师奖将于6月16日在旧金山举行的ACM年度颁奖晚宴上颁发。
