Nancy Ann Lynch (born 1948) is 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.
She is the author of numerous research articles about distributed algorithms and impossibility results, and about formal modeling and validation of distributed systems. She is the author of the graduate textbook "Distributed Algorithms". She is a member of the National Academy of Engineering, and an ACM Fellow.
Lynch's academic training was in math, at Brooklyn College and MIT, where she received her Ph.D. in 1972.[1] She served on the math and computer science faculty at several other universities, including Tufts University, the University of Southern California and 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.
Recognition
- 2001 Dijkstra Prize
- 2001 National Academy of Engineering
- 2006 Wijngaarden Prize
- 2007 Knuth Prize
- 2007 Dijkstra Prize
References
External links
- Nancy Lynch's home page at MIT
- Works by or about Nancy Lynch in libraries (WorldCat catalog)
- "Nancy Lynch Celebration: Sixty and Beyond". http://www.lynchcelebration.org/. A series of invited lectures at PODC 2008 and CONCUR 2008.
|
|||||
 |
This biography of an American academic is a stub. You can help Wikipedia by expanding it. |
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)
