Nancy Lynch is an American computer scientist at MIT and a foundational figure in the theory of distributed computing, the study of how independent computers coordinate correctly despite delays, failures and unpredictable ordering of messages. She co-authored the widely used textbook Distributed Algorithms and co-developed formal modeling tools such as I/O automata for rigorously proving that distributed and concurrent systems behave correctly.
Facts
Awardhonorary doctorate from Sorbonne University 2 AwardIEEE Emanuel R. Piore Award 2 Highest HonourNational Academy of Engineering Member 1 Connections
In Field
Source Wikipedia: Nancy Lynch
Invented
Nancy Lynch co-authored (with Seth Gilbert) the 2002 paper that formally proved Brewer's CAP conjecture.
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikipedia: Nancy Lynch
Wikimedia FoundationLead section
Nancy Ann Lynch (born January 19, 1948) is a computer scientist affiliated with the Massachusetts Institute of Technology.
Infobox: awards
ACM Fellow (1997) Dijkstra Prize (2001, 2007) Member, National Academy of Engineering (2001) Van Wijngaarden Award (2006) IEEE Emanuel R. Piore Award (2010) Member, National Academy of Sciences (2015) Knuth Prize (2007)
- In Field: Distributed Computing, Lead paragraph
View the Source 2. Wikidata: Nancy Lynch
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.