Nancy Lynch

Nancy Lynch's picture
  • Radcliffe Institute: Fellow (2012)
  • ACM-W: Named 2012-2013 Athena Lecturer (2012)
  • American Academy of Arts and Sciences: Fellow (2010)
  • IEEE: Emanuel R. Piore Award (2010)
  • Brooklyn College: Brooklyn College Distinguished Alumna Award (2009)
  • ACM: Knuth Prize (2007)
  • ACM: Edsger W. Dijkstra Prize in Distributed Computing (2007)
  • ACM SIGACT: PODC 2006 Best Student Paper (with Rui Fan) (2006)
  • CWI: Van Wijngaarden Award (2006)
  • ACM SIGACT: PODC 2004 Best Student Paper (with Rui Fan) (2004)
  • University of Pennsylvania: Grace Hopper Lecturer (2003)
  • Technology Review: 10 Emerging Technologies That Will Change the World (2003)
  • National Academy of Engineering: Member (2001)
  • National Academy of Engineering: Member (2001)
  • ACM: Edsger W. Dijkstra Prize in Distributed Computing (2001)
  • ACM: Fellow (1996)

Nancy Lynch is the NEC Professor of Software Science and Engineering in the EECS department and heads the Theory of Distributed Systems research group at the Computer Science and Artificial Intelligence Laboratory. She has written 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" and a co-author of the monograph "The Theory of Timed I/O Automata". She is a member of the National Academy of Engineering, an ACM Fellow, and a winner of several prizes for contributions to distributed computing theory.

Prof. Lynch's academic training was in mathematics, at Brooklyn College and MIT. She served on the mathematics and computer science faculty at several other universities, including 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. Her current projects involve designing algorithms for mobile wireless networks, and analyzing timed and hybrid systems and security protocols.