Nancy Lynch

Nancy Lynch
Geboren 19. Januar 1948 (Alter 74)
Brooklyn, NY
Alma Mater Brooklyn College
MIT
Bekannt für Verteilte Systeme
Auszeichnungen ACM Fellow (1997)
Dijkstra -Preis (2001, 2007)
Mitglied, Nationale Akademie des Ingenieurwesens (2001)
Van Wijngaarden Award (2006)
IEEE Emanuel R. Piore Award (2010)
Mitglied, Nationale Akademie der Wissenschaften (2015)
Knuth -Preis (2007)
Wissenschaftliche Karriere
Felder Informatik
Institutionen Tufts University
Universität von Südkalifornien
Florida International University
Georgia Tech
MIT
These Relativierung der Theorie der rechnerischen Komplexität (1972)
Doktorand Albert R. Meyer
Doktorand Cal Newport
George Varghese

Nancy Ann Lynch (Geboren am 19. Januar 1948)[1] ist ein Mathematiker, ein Theoretiker und Professor am Massachusetts Institute of Technology. Sie ist die NEC -Professorin für Softwarewissenschaft und -technik in der EECs Abteilung und leitet die Forschungsgruppe "Theory of Distributed Systems" im Labor für Informatik und künstliche Intelligenz des MIT.

Bildung und frühes Leben

Lynch wurde in geboren Brooklynund ihre akademische Ausbildung war in Mathematik. Sie war anwesend Brooklyn College und MIT, wo sie sie empfing Ph.D. im Jahr 1972 unter der Aufsicht von Albert R. Meyer.[2][3]

Arbeit

Sie war an der Mathematik- und Informatik -Fakultät an mehreren anderen Universitäten, einschließlich der Tufts University, das Universität von Südkalifornien, Florida International University, und die Georgia Institute of Technology (Georgia Tech), bevor sie 1982 zu der MIT -Fakultät beitritt. Seitdem arbeitet sie daran, Mathematik auf die Aufgaben des Verständnisses und Konstruktion komplexer verteilter Systeme anzuwenden.

Ihre Arbeit von 1985 mit Michael J. Fischer und Mike Paterson[4] an Konsensprobleme erhielt die PODC Einflusspapierpreis in 2001.[5] Ihre Arbeit zeigte, dass in einem asynchronen verteilten System Konsens unmöglich ist, wenn es einen Prozessor gibt, der abstürzt. Zu ihrem Beitrag schrieb Jennifer Welch: "Dieses Ergebnis hat sich monumental auf das verteilte Computing, sowohl Theorie als auch Praxis, ausgewirkt.[5]

Sie ist Autorin zahlreicher Forschungsartikel über verteilte Algorithmen und Unmöglichkeitsergebnisse sowie über die formale Modellierung und Validierung verteilter Systeme (siehe z. B.. Eingang/Ausgangsautomaton). Sie ist Autorin des Graduierten -Lehrbuchs "Distributed Algorithmen".[6] Sie ist Mitglied der National Academy of Sciences, der Nationale Akademie des Ingenieurwesensund ein ACM -Kerl.[7]

Erkennung

Literaturverzeichnis

Lynch, Nancy; Merritt, Michael; Weihl, William; Fekete, Alan (1994). Atomtransaktionen. San Mateo, Kalifornien: Morgan Kaufmann. pp.476. ISBN 9781558601048.

Lynch, Nancy A. (1998). Verteilte Algorithmen (2. Aufl.). San Francisco, Kalifornien: Kaufmann. ISBN 978-1558603486.

Kaynar, Dilsun; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits (2011). Die Theorie der zeitgesteuerten I/O -Automaten (2. Aufl.). San Rafael, Kalifornien: Morgan & Claypool. p. 137. ISBN 9781608450039.

Verweise

  1. ^ Who is Who von amerikanischen Frauen. Marquis Who is Who, 1973. p. 587.
  2. ^ Nancy, Lynch (1972). Relativierung der Theorie der rechnerischen Komplexität (Ph.D.). Massachusetts Institute of Technology. HDL:1721.1/12180.
  3. ^ Nancy Lynch Bei der Mathematik Genealogie -Projekt
  4. ^ Fischer, M. J.; Lynch, N. A.; Paterson, M. S. (1985). "Unmöglichkeit eines verteilten Konsens mit einem fehlerhaften Prozess" (PDF). Journal of the ACM. 32 (2): 374–382. doi:10.1145/3149.214121. S2CID 207660233.
  5. ^ a b "PODC Influential Paper Award: 2001". Abgerufen 2009-07-06.
  6. ^ Lynch, Nancy (1996). Verteilte Algorithmen. San Francisco, CA: Morgan Kaufmann Publishers. ISBN 978-1-55860-348-6.
  7. ^ "Nancy ein Lynch - Preisträger". Verband für Rechenmaschinen. Abgerufen 31. Oktober 2013.
  8. ^ "NAE -Mitgliederverzeichnis - Dr. Nancy A. Lynch". Nae. Abgerufen 31. Dezember, 2010.
  9. ^ "IEEE Emanuel R. Piore Award -Empfänger" (PDF). IEEE. Archiviert (PDF) Aus dem Original am 17. Februar 2013. Abgerufen 20. März, 2021.
  10. ^ "Lynch namens Athena Dozent". MIT Nachrichten. 18. April 2012. Abgerufen 31. Oktober 2013.
  11. ^ "Mitglieder der National Academy of Sciences und ausländische Mitarbeiter gewählt". Abgerufen 2016-05-05.

Externe Links