Nancy Lynch - Nancy Lynch

Nancy Lynch
narozený (1948-01-19) 19. ledna 1948 (věk 72)
Brooklyn, NY
Alma materBrooklyn College
MIT
Známý jakoDistribuované systémy
OceněníČlen ACM (1997)
Dijkstra cena (2001, 2007)
Člen, National Academy of Engineering (2001)
Cena Van Wijngaarden (2006)
Cena IEEE Emanuela R. Piora (2010)
Člen, Národní akademie věd (2015)
Vědecká kariéra
PolePočítačová věda
InstituceTufts University
University of Southern California
Georgia Tech
MIT
TezeRelativizace teorie výpočetní složitosti (1972)
Doktorský poradceAlbert R. Meyer
DoktorandiCal Newport
George Varghese

Nancy Ann Lynch (narozen 19. ledna 1948)[1] je matematik, teoretik a profesor na Massachusetts Institute of Technology. Je profesorkou NEC pro softwarovou vědu a inženýrství v EU EECS oddělení a vede výzkumnou skupinu „Teorie distribuovaných systémů“ v laboratoři výpočetní techniky a umělé inteligence MIT.

Vzdělání a časný život

Lynch se narodil v Brooklyn a její akademické vzdělání bylo v matematice. Zúčastnila se Brooklyn College a MIT, kde ji přijala Ph.D. v roce 1972 pod dohledem Albert R. Meyer.[2][3]

Práce

Působila na fakultě matematiky a informatiky na několika dalších univerzitách, včetně Tufts University, University of Southern California, Florida International University a Gruzínský technologický institut (Georgia Tech), před nástupem na fakultu MIT v roce 1982. Od té doby pracuje na aplikaci matematiky na úkoly porozumění a konstrukce složitých distribuovaných systémů.

Její práce z roku 1985 Michael J. Fischer a Mike Paterson[4] na problémy s konsensem obdržel Cena PODC Influential-Paper v roce 2001.[5] Jejich práce ukázala, že v asynchronním distribuovaném systému je shoda nemožná, pokud dojde k chybě jednoho procesoru. O jejich příspěvku Jennifer Welch napsal, že „tento výsledek měl monumentální dopad na distribuované výpočty, a to jak v teorii, tak v praxi. Návrháři systémů byli motivováni objasnit svá tvrzení týkající se podmínek, za kterých systémy fungují.“[5]

Je autorkou řady výzkumných článků o distribuovaných algoritmech a výsledcích nemožnosti a o formálním modelování a validaci distribuovaných systémů (viz např. vstupní / výstupní automat ). Je autorkou absolventské učebnice „Distribuované algoritmy“.[6] Je členkou Národní akademie věd, National Academy of Engineering a členkou ACM.[7]

Uznání

Bibliografie

Lynch, Nancy; Merritt, Michael; Weihl, William; Fekete, Alan (1994). Atomové transakce. San Mateo, Kalifornie: Morgan Kaufmann. str.476. ISBN  9781558601048.

Lynch, Nancy A. (1998). Distribuované algoritmy (2. vyd.). San Francisco, Kalifornie: Kaufmann. ISBN  978-1558603486.

Kaynar, Dilsun; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits (2011). Teorie časovaných I / O automatů (2. vyd.). San Rafael, Kalifornie: Morgan & Claypool. p. 137. ISBN  9781608450039.

Reference

  1. ^ Kdo je kdo z amerických žen. Markýz Kdo je kdo, 1973. str. 587.
  2. ^ Nancy, Lynch (1972). Relativizace teorie výpočetní složitosti (Ph.D.). Massachusetts Institute of Technology. hdl:1721.1/12180.
  3. ^ Nancy Lynch na Matematický genealogický projekt
  4. ^ Fischer, Lynch & Paterson (1985)
  5. ^ A b „Cena PODC Influential Paper Award: 2001“. Citováno 2009-07-06.
  6. ^ Lynch, Nancy (1996). Distribuované algoritmy. San Francisco, Kalifornie: Nakladatelé Morgan Kaufmann. ISBN  978-1-55860-348-6.
  7. ^ „Nancy A Lynch - vítězka ceny“. Sdružení pro výpočetní techniku. Citováno 31. října 2013.
  8. ^ „Adresář členů NAE - Dr. Nancy A. Lynch“. NAE. Citováno 31. prosince 2010.
  9. ^ „Příjemci ceny IEEE Emanuela R. Piora“ (PDF). IEEE. Citováno 31. prosince 2010.
  10. ^ „Lynch jménem Athena Lecturer“. Zprávy MIT. 18. dubna 2012. Citováno 31. října 2013.
  11. ^ „Členové Národní akademie věd a zvolení zahraniční spolupracovníci“. Citováno 2016-05-05.

externí odkazy