| 词条 | Nancy Lynch |
| 释义 |
|name = Nancy Lynch |image = |image_size = |birth_date = {{Birth date and age|1948|01|19}} |birth_place = Brooklyn, NY |death_date = |death_place = |nationality = |field = Computer science |work_institutions = Tufts University University of Southern California Georgia Tech MIT |alma_mater = Brooklyn College MIT |doctoral_advisor = Albert R. Meyer |doctoral_students = Cal Newport George Varghese |known_for = Distributed systems |awards = ACM Fellow {{small|(1997)}} Dijkstra Prize {{small|(2001, 2007)}} Member, National Academy of Engineering {{small|(2001)}} Van Wijngaarden Award {{small|(2006)}} IEEE Emanuel R. Piore Award {{small|(2010)}} Member, National Academy of Sciences {{small|(2015)}} |thesis_title = Relativization of the Theory of Computational Complexity |thesis_url = |thesis_year = 1972 }} Nancy Ann Lynch (born January 19, 1948)[1] is a mathematician, a theorist, and a professor at the Massachusetts Institute of Technology. She is the NEC Professor of Software Science and Engineering in the EECS department and heads the "Theory of Distributed Systems" research group at MIT's Computer Science and Artificial Intelligence Laboratory. Education and Early LifeLynch was born in Brooklyn, and her academic training was in mathematics. She attended Brooklyn College and MIT, where she received her Ph.D. in 1972 under the supervision of Albert R. Meyer.[2][3] WorkShe served on the math and computer science faculty at several other universities, including Tufts University, the University of Southern California, Florida International University, and the Georgia Institute of Technology (Georgia Tech), prior to joining the MIT faculty in 1982. Since then, she has been working on applying mathematics to the tasks of understanding and constructing complex distributed systems. Her 1985 work with Michael J. Fischer and Mike Paterson[4] on consensus problems received the PODC Influential-Paper Award in 2001.[5] Their work showed that in an asynchronous distributed system, consensus is impossible if there is one processor that crashes. On their contribution, Jennifer Welch wrote that “this result has had a monumental impact in distributed computing, both theory and practice. Systems designers were motivated to clarify their claims concerning under what circumstances the systems work.”[5] She is the author of numerous research articles about distributed algorithms and impossibility results, and about formal modeling and validation of distributed systems (see, e.g., input/output automaton). She is the author of the graduate textbook "Distributed Algorithms".[6] She is a member of the National Academy of Sciences, the National Academy of Engineering, and an ACM Fellow.[7] Recognition
Bibliography{{cite book|last1=Lynch|first1=Nancy|last2=Merritt|first2=Michael|last3=Weihl|first3=William|last4=Fekete|first4=Alan|title=Atomic Transactions|date=1994|publisher=Morgan Kaufmann|location=San Mateo, California|isbn=9781558601048|pages=476}}{{cite book|last1=Lynch|first1=Nancy A.|title=Distributed Algorithms|date=1998|publisher=Kaufmann|location=San Francisco, California|isbn=978-1558603486|edition= 2nd}}{{cite book|last1=Kaynar|first1=Dilsun|last2=Lynch|first2=Nancy|last3=Segala|first3=Roberto|last4=Vaandrager|first4=Frits|title=The Theory of Timed I/O Automata|date=2011|publisher=Morgan & Claypool|location=San Rafael, California|isbn=9781608450039|pages=137|edition= 2nd}}References1. ^[https://books.google.com/books?id=7yGvrf3-gskC&q= Who's who of American women]. Marquis Who's Who, 1973. p. 587. 2. ^{{cite thesis|type=Ph.D.|first=Lynch|last=Nancy|title=Relativization of the theory of computational complexity|publisher=Massachusetts Institute of Technology|year=1972|url=http://hdl.handle.net/1721.1/12180}} 3. ^{{MathGenealogy|id=81227}} 4. ^{{harvtxt|Fischer|Lynch|Paterson|1985}} 5. ^1 {{cite web|url=http://www.podc.org/influential/2001.html|title=PODC Influential Paper Award: 2001|accessdate=2009-07-06}} 6. ^{{cite book|title=Distributed Algorithms|last=Lynch|first=Nancy|publisher=Morgan Kaufmann Publishers|year=1996|isbn=978-1-55860-348-6|location=San Francisco, CA}} 7. ^{{Cite web|url=http://awards.acm.org/award_winners/lynch_2276129.cfm|title=Nancy A Lynch – Award Winner|publisher=Association for Computing Machinery|accessdate=31 October 2013}} 8. ^{{cite web|url=http://www.nae.edu/MembersSection/Directory20412/28957.aspx |title=NAE Members Directory - Dr. Nancy A. Lynch |publisher=NAE |accessdate=December 31, 2010}} 9. ^{{cite web|url=http://www.ieee.org/documents/piore_rl.pdf |title=IEEE Emanuel R. Piore Award Recipients |publisher=IEEE |accessdate=December 31, 2010}} 10. ^{{cite web|title=Lynch named Athena Lecturer|publisher=MIT News|date=18 April 2012|accessdate=31 October 2013|url=http://web.mit.edu/newsoffice/2012/lynch-named-athena-lecturer.html}} 11. ^{{cite web | url=http://www.nasonline.org/news-and-multimedia/news/may-3-2016-NAS-Election.html|title=National Academy of Sciences Members and Foreign Associates Elected |date= |accessdate=2016-05-05}} External links
| url=http://www.lynchcelebration.org/ | title=Nancy Lynch Celebration: Sixty and Beyond }} A series of invited lectures at PODC 2008 and CONCUR 2008. {{Authority control}}{{Knuth Prize laureates}}{{DEFAULTSORT:Lynch, Nancy}}{{US-academic-bio-stub}} 17 : American computer scientists|1948 births|Living people|Researchers in distributed computing|Massachusetts Institute of Technology faculty|Georgia Institute of Technology faculty|Fellows of the Association for Computing Machinery|Women computer scientists|Knuth Prize laureates|Dijkstra Prize laureates|Members of the United States National Academy of Engineering|Massachusetts Institute of Technology alumni|Brooklyn College alumni|Theoretical computer scientists|20th-century American scientists|21st-century American scientists|Members of the United States National Academy of Sciences |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。