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
Connections
Invented By
Nancy Lynch co-authored (with Seth Gilbert) the 2002 paper that formally proved Brewer's CAP conjecture.
In the Other Atlases
Sources
1. Wikipedia: Nancy Lynch
Wikimedia FoundationLead sectionQuote, Lead section
Nancy Ann Lynch (born January 19, 1948) is a computer scientist affiliated with the Massachusetts Institute of Technology.
View the Source Nancy Lynch (Wikidata)
Wikidata alias: Nancy Ann Lynch
Nancy Ann Lynch
Wikidata P166: Knuth Prize
Wikidata P166 (award received): Knuth Prize.
Wikidata P166: Dijkstra Prize
Wikidata P166 (award received): Dijkstra Prize.
Wikidata P166: honorary doctorate from Sorbonne University
Wikidata P166 (award received): honorary doctorate from Sorbonne University.
Wikidata P166: ACM Fellow
Wikidata P166 (award received): ACM Fellow.
Wikidata P166: Van Wijngaarden Award
Wikidata P166 (award received): Van Wijngaarden Award.
Wikidata P166: IEEE Emanuel R. Piore Award
Wikidata P166 (award received): IEEE Emanuel R. Piore Award.
Wikidata P166: Athena Lecturer
Wikidata P166 (award received): Athena Lecturer.
Wikidata alias: Nancy A. Lynch
Nancy A. Lynch
View the SourceReader 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.