Nancy Ann Lynch (nacida el 19 de enero de 1948) [1] es matemática, teórica y profesora en el Instituto de Tecnología de Massachusetts . Es profesora del NEC de ciencia e ingeniería del software en el departamento de EECS y dirige el grupo de investigación "Teoría de sistemas distribuidos" en el Laboratorio de Ciencias de la Computación e Inteligencia Artificial del MIT.
Lynch nació en Brooklyn y su formación académica fue en matemáticas. Asistió a Brooklyn College y MIT, donde recibió su Ph.D. en 1972 bajo la supervisión de Albert R. Meyer . [2] [3]
Se desempeñó en la facultad de matemáticas y ciencias de la computación en varias otras universidades, incluida la Universidad de Tufts , la Universidad del Sur de California , la Universidad Internacional de Florida y el Instituto de Tecnología de Georgia (Georgia Tech), antes de unirse a la facultad del MIT en 1982. Desde entonces , ha estado trabajando en la aplicación de las matemáticas a las tareas de comprensión y construcción de sistemas distribuidos complejos.
Su trabajo de 1985 con Michael J. Fischer y Mike Paterson [4] sobre problemas de consenso recibió el premio PODC Influential-Paper Award en 2001. [5] Su trabajo mostró que en un sistema distribuido asincrónico, el consenso es imposible si hay un procesador que falla. . Sobre su contribución, Jennifer Welch escribió que "este resultado ha tenido un impacto monumental en la computación distribuida, tanto en la teoría como en la práctica. Los diseñadores de sistemas estaban motivados para aclarar sus afirmaciones sobre bajo qué circunstancias funcionan los sistemas". [5]
Es autora de numerosos artículos de investigación sobre algoritmos distribuidos y resultados de imposibilidad, y sobre modelado formal y validación de sistemas distribuidos (ver, por ejemplo, autómata de entrada / salida ). Es autora del libro de texto de posgrado "Algoritmos distribuidos". [6] Es miembro de la Academia Nacional de Ciencias, la Academia Nacional de Ingeniería y miembro de la ACM. [7]
Lynch, Nancy; Merritt, Michael; Weihl, William; Fekete, Alan (1994). Transacciones atómicas . San Mateo, California: Morgan Kaufmann. págs. 476 . ISBN 9781558601048.