stringtranslate.com

Nancy Lynch

Nancy Ann Lynch (nacida el 19 de enero de 1948) [1] es una científica informática afiliada al Instituto Tecnológico de Massachusetts . Es profesora de Ciencias del Software e Ingeniería del Departamento de Ingeniería Eléctrica y Computación del NEC y dirige el grupo de investigación "Teoría de los Sistemas Distribuidos" en el Laboratorio de Ciencias de la Computación e Inteligencia Artificial del MIT .

Educación y vida temprana

Lynch nació en Brooklyn y su formación académica fue en matemáticas. Asistió al Brooklyn College y al MIT, donde recibió su doctorado en 1972 bajo la supervisión de Albert R. Meyer . [2] [3]

Trabajar

Trabajó en la facultad de matemáticas y ciencias de la computación en varias otras universidades, incluidas la Universidad 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 demostró 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 se sintieron motivados a aclarar sus afirmaciones sobre las circunstancias en las que 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 (véase, 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]

Reconocimiento

Bibliografía

Lynch, Nancy; Merritt, Michael; Weihl, William; Fekete, Alan (1994). Transacciones atómicas. San Mateo, California: Morgan Kaufmann. págs. 476. ISBN. 9781558601048.

Lynch, Nancy A. (1998). Algoritmos distribuidos (2.ª ed.). San Francisco, California: Kaufmann. ISBN 978-1558603486.

Kaynar, Dilsun; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits (2011). La teoría de los autómatas de E/S temporizados (2ª ed.). San Rafael, California: Morgan y Claypool. pag. 137.ISBN​ 9781608450039.

Referencias

  1. ^ Quién es quién entre las mujeres estadounidenses. Marquis Who's Who, 1973. pág. 587.
  2. ^ Nancy, Lynch (1972). Relativización de la teoría de la complejidad computacional (Ph.D.). Instituto Tecnológico de Massachusetts. hdl :1721.1/12180.
  3. ^ Nancy Lynch en el Proyecto de Genealogía Matemática
  4. ^ Fischer, MJ ; Lynch, NA; Paterson, MS (1985). "Imposibilidad de consenso distribuido con un proceso defectuoso" (PDF) . Revista de la ACM . 32 (2): 374–382. doi :10.1145/3149.214121. S2CID  207660233.
  5. ^ ab "Premio PODC al mejor artículo influyente: 2001" . Consultado el 6 de julio de 2009 .
  6. ^ Lynch, Nancy (1996). Algoritmos distribuidos . San Francisco, CA: Morgan Kaufmann Publishers . ISBN. 978-1-55860-348-6.
  7. ^ "Nancy A Lynch – Ganadora del premio". Association for Computing Machinery . Consultado el 31 de octubre de 2013 .
  8. ^ "Directorio de miembros de la NAE - Dra. Nancy A. Lynch". NAE . Consultado el 31 de diciembre de 2010 .
  9. ^ "Ganadores del premio IEEE Emanuel R. Piore" (PDF) . IEEE. Archivado desde el original (PDF) el 17 de febrero de 2013 . Consultado el 20 de marzo de 2021 .
  10. ^ "Lynch nombrado profesor Athena". MIT News. 18 de abril de 2012. Consultado el 31 de octubre de 2013 .
  11. ^ "Se eligen miembros y asociados extranjeros de la Academia Nacional de Ciencias" . Consultado el 5 de mayo de 2016 .

Enlaces externos