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.
- Nancy Lynch. "Distributed Algorithms". Morgan Kaufmann Publishers, Inc., San Mateo, CA, March 1996.
- Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager. "The Theory of Timed I/O Automata". Synthesis Lectures on Computer Science, Morgan Claypool Publishers, 2006. Revised and shortened version of Technical Report MIT-LCS-TR-917a (from 2004).
- Michael J. Fischer, Nancy A. Lynch, and Michael S. Paterson. "Impossibility of Distributed Consensus with One Faulty Process". Journal of the ACM, 32(2):374-382, April 1985. Winner of Dijkstra Prize, 2001.
- Cynthia Dwork, Nancy Lynch, and Larry Stockmeyer. "Consensus in the Presence of Partial Synchrony". Journal of the ACM, April 1988. Winner of Dijkstra Prize, 2007.
- Seth Gilbert, Nancy Lynch, and Alex Shvartsman. "RAMBO: A Robust, Reconfigurable Atomic Memory Service for Dynamic Networks". Submitted for publication (see http://groups.csail.mit.edu/tds/reflist.html for pdf version).
- Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alex A. Shvartsman, and Jennifer L. Welch. "GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks". Distributed Computing, Special Issue DISC03, 18(2):125-155, 2005.
- Gregory Chockler, Seth Gilbert, and Nancy Lynch. "Virtual Infrastructure for Collision-Prone Wireless Networks". To appear in PODC 2008.
- Rui Fan and Nancy Lynch. "Gradient Clock Synchronization". Distributed Computing, 18(4):255-266, March 2006. Best Student Paper award at PODC 2004.
- Rui Fan and Nancy Lynch. "An Omega(n log n) Lower Bound on the Cost of Mutual Exclusion". Twenty-Fifth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2006), Denver, Colorado, July 2006. Best Student Paper award.
- Gregory Chockler, Murat Demirbas, Seth Gilbert, Calvin Newport, and Tina Nolte. "Consensus and Collision Detectors in Wireless Ad Hoc Networks". Twenty-Fourth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2005), Las Vegas, Nevada, pages 197-206, July 2005. New version to appear in Distributed Computing.
- Rachid Guerraoui, Maurice Herlihy, Petr Kouznetsov, Nancy Lynch, and Calvin Newport. "On the Weakest Failure Detector Ever". Twenty-Sixth Annual ACM Symposium on Principles of Distributed Systems (PODC 2007), Portland, Oregon, August 2007.
- Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. "Analyzing security protocols using time-bounded task-PIOAs".
- Journal of Discrete Event Dynamic Systems, 2008.
Also, visit www.veromodo.com for information about the Tempo toolset for modeling and analyzing timed systems.
- Association for Computing Machinery: Athena Lecturer (2013)
- Royal Academy of Engineering: Keynote Address (2013)
- Carnegie Mellon University and Tokyo University of Technology: Nash Distinguished Lecture (2013)
- Radcliffe Institute: Fellow (2012)
- ACM Women in Computing: Named 2012-2013 Athena Lecturer (2012)
- Institute of Electrical and Electronics Engineers: Emanuel R. Piore Award (2010)
- American Academy of Arts and Sciences: Fellow (2010)
- Brooklyn College: Brooklyn College Distinguished Alumna Award (2009)
- Association for Computing Machinery: Edsger W. Dijkstra Prize in Distributed Computing (2007)
- Association for Computing Machinery: Knuth Prize (2007)
- CWI: Van Wijngaarden Award (2006)
- ACM Special Interest Group on Algorithms and Computation Theory: PODC 2006 Best Student Paper (with Rui Fan) (2006)
- ACM Special Interest Group on Algorithms and Computation Theory: 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)
- Association for Computing Machinery: Edsger W. Dijkstra Prize in Distributed Computing (2001)
- National Academy of Engineering: Member (2001)
- National Academy of Engineering: Member (2001)
- Association for Computing Machinery: Fellow (1996)