Nancy Lynch
Nancy Lynch ( Brooklyn , 19 ianuarie 1948 ) este o matematică , informatică și academică americană , profesor de științe și software de inginerie Massachusetts Institute of Technology . El este, de asemenea, șeful grupului de cercetare privind teoria sistemelor distribuite la laboratorul de informatică și inteligență artificială al MIT.
Educație și primii ani
Lynch s-a născut în Brooklyn [1] și a absolvit o diplomă de licență în matematică. A urmat cursurile Brooklyn College și MIT, unde a obținut doctoratul în 1972. [2]
Carieră
A lucrat la facultatea de matematică și informatică la alte câteva universități, inclusiv la Universitatea Tufts , la Universitatea din California de Sud , la Universitatea Internațională din Florida și la Institutul de Tehnologie din Georgia , înainte de a se alătura facultății MIT în 1982. De atunci a fost lucrul la aplicarea matematicii la sarcinile de înțelegere și construire a sistemelor distribuite complexe.
Munca sa din 1985 cu Michael J. Fischer și Mike Paterson [3] pe probleme de consens a primit PODC Influential-Paper Award în 2001. [4] Munca lor a arătat că într-un sistem distribuit asincron, consimțământul este imposibil dacă există un procesor care se prăbușește. Pe contribuția lor, Jennifer Welch a scris că această realizare a avut un impact monumental în calculul distribuit, atât în teorie, cât și în practică. Proiectanții de sisteme au fost motivați să își clarifice afirmațiile cu privire la circumstanțele în care funcționează sistemele . [4]
Este autorul a numeroase articole de cercetare despre algoritmi distribuiți, rezultate ale imposibilității, modelare formală și validare a sistemelor distribuite. Ea este autoarea manualului Distributed Algorithms . [5] Este membru al Academiei Naționale de Științe , al Academiei Naționale de Inginerie și membru al ACM . [6]
Distincții și premii
- 1997: Membru al Asociației pentru Mașini de Calcul
- 2001: Premiul Dijkstra Paper la conferința PODC
- 2001: Membru al Academiei Naționale de Inginerie [7]
- 2006: Premiul Van Wijngaarden
- 2007: Premiul Knuth
- 2007: Premiul Dijkstra Paper al conferinței PODC
- 2010: Premiul IEEE Emanuel R. Piore [8]
- 2012: lector Athena [9]
- 2015: Membru al Academiei Naționale de Științe [10]
Bibliografie
- Nancy Lynch, Michael Merritt și William Weihl, Tranzacții atomice , San Mateo, California, Morgan Kaufmann, 1994, pp. 476 , ISBN 978-1-55860-104-8 .
- Nancy A. Lynch,Algoritmi distribuiți , ediția a II-a, San Francisco, California, Kaufmann, 1998, ISBN 978-1-55860-348-6 .
- Dilsun Kaynar, Nancy Lynch și Roberto Segala, Theory of Timed I / O Automata , ediția a doua, San Rafael, California, Morgan & Claypool, 2011, pp. 137 , ISBN 978-1-60845-003-9 .
Notă
- ^ Cine este cine dintre femeile americane . Marchizul Cine este Cine, 1973. p. 587.
- ^ (EN) Nancy Lynch , de la Mathematics Genealogia Project , North Dakota State University.
- ^ Fischer, Lynch și Paterson, 1985
- ^ a b Premiul PODC pentru hârtie influențială: 2001 , pe podc.org . Adus la 6 iulie 2009 .
- ^ Nancy Lynch,Algorithms Distributed , San Francisco, CA, Morgan Kaufmann Publishers , 1996, ISBN 978-1-55860-348-6 .
- ^ awards.acm.org , Association for Computing Machinery , http://awards.acm.org/award_winners/lynch_2276129.cfm . Adus la 31 octombrie 2013 .
- ^ nae.edu , NAE , http://www.nae.edu/MembersSection/Directory20412/28957.aspx . Adus la 31 decembrie 2010 .
- ^ ieee.org , IEEE , http://www.ieee.org/documents/piore_rl.pdf . Adus la 31 decembrie 2010 .
- ^ web.mit.edu , Știri MIT, 18 aprilie 2012, http://web.mit.edu/newsoffice/2012/lynch-named-athena-lecturer.html . Adus la 31 octombrie 2013 .
- ^ nasonline.org , http://www.nasonline.org/news-and-multimedia/news/may-3-2016-NAS-Election.html . Adus pe 5 mai 2016 .
linkuri externe
- ( RO ) Site oficial , pe people.csail.mit.edu .
- (EN) Nancy Lynch , de la Mathematics Genealogia Project , North Dakota State University.
Controlul autorității | VIAF (EN) 113 611 002 · ISNI (EN) 0000 0001 1084 4440 · LCCN (EN) n86848868 · Orcid (EN) 0000-0003-3045-265X · GND (DE) 121 919 625 · WorldCat Identities (EN) lccn- n86848868 |
---|