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 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.
Nancy Lynch | |
---|---|
Nació | Brooklyn , Nueva York | 19 de enero de 1948
alma mater | Brooklyn College MIT |
Conocido por | Sistemas distribuidos |
Premios | Miembro de la ACM (1997) Premio Dijkstra (2001, 2007) Miembro de la Academia Nacional de Ingeniería (2001) Premio Van Wijngaarden (2006) Premio IEEE Emanuel R. Piore (2010) Miembro de la Academia Nacional de Ciencias (2015) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Tufts Universidad del Sur de California Georgia Tech MIT |
Tesis | Relativización de la teoría de la complejidad computacional (1972) |
Asesor de doctorado | Albert R. Meyer |
Estudiantes de doctorado | Cal Newport George Varghese |
Educación y vida temprana
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]
Trabaja
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]
Reconocimiento
- 1997: Miembro de ACM
- 2001: Premio Dijkstra Paper de la conferencia PODC
- 2001: Academia Nacional de Ingeniería [8]
- 2006: Premio Van Wijngaarden
- 2007: Premio Knuth
- 2007: Premio Dijkstra Paper de la conferencia PODC
- 2010: Premio IEEE Emanuel R. Piore [9]
- 2012: Conferenciante de Athena [10]
- 2015: Academia Nacional de Ciencias [11]
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 temporizada (2ª ed.). San Rafael, California: Morgan y Claypool. pag. 137. ISBN 9781608450039.
Referencias
- ^ Quién es quién de las mujeres estadounidenses . Marquis Who's Who, 1973. p. 587.
- ^ Nancy, Lynch (1972). Relativización de la teoría de la complejidad computacional (Ph.D.). Instituto de Tecnología de Massachusetts. hdl : 1721,1 / 12180 .
- ^ Nancy Lynch en el Proyecto de genealogía matemática
- ^ Fischer, Lynch y Paterson (1985)
- ^ a b "Premio PODC Influential Paper Award: 2001" . Consultado el 6 de julio de 2009 .
- ^ Lynch, Nancy (1996). Algoritmos distribuidos . San Francisco, CA: Morgan Kaufmann Publishers . ISBN 978-1-55860-348-6.
- ^ "Nancy A Lynch - Ganadora del premio" . Asociación de Maquinaria Informática . Consultado el 31 de octubre de 2013 .
- ^ "Directorio de miembros de NAE - Dra. Nancy A. Lynch" . NAE . Consultado el 31 de diciembre de 2010 .
- ^ "Destinatarios del premio IEEE Emanuel R. Piore" (PDF) . IEEE. Archivado (PDF) desde el original el 17 de febrero de 2013 . Consultado el 20 de marzo de 2021 .
- ^ "Lynch llamado Athena Lecturer" . Noticias del MIT. 18 de abril de 2012 . Consultado el 31 de octubre de 2013 .
- ^ "Miembros de la Academia Nacional de Ciencias y Asociados Extranjeros elegidos" . Consultado el 5 de mayo de 2016 .
enlaces externos
- Página de inicio de Nancy Lynch en el MIT
- Obras de o sobre Nancy Lynch en bibliotecas ( catálogo de WorldCat )
- "Celebración de Nancy Lynch: sesenta y más allá" .Una serie de conferencias invitadas en PODC 2008 y CONCUR 2008.