Nancy A. Lynch

NEC Professor of Software Science and Engineering, Professor of Electrical Engineering and Computer Science, Massachusetts Institute of Technology.

On sabbatical this year at the Radcliffe Institute.

Nancy Lynch heads the Theory of Distributed Systems Group (TDS) research group in MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). This group is part of the Theory of Computation (TOC) group.

Research interests:
Distributed computing, real-time computing, algorithms, lower bounds, formal modelling and verification, wireless network algorithms, and biological distributed algorithms.

Teaching:
-Spring 2012: 6.041 Probabilistic Systems Analysis
-Fall 2011: 6.852J Distributed Algorithms
-Spring 2011: 6.885 Distributed Algorithms: New Topics and Techniques
-Spring 2010: 6.045/18.400 Automata, Computability, and Complexity
-Fall 2009: 6.852/18.437 Distributed Algorithms
-Spring 2009: 6.045/18.400 Automata, Computability, and Complexity
-Fall 2008: 6.885 Distributed Algorithms for Mobile Wireless Ad Hoc Networks

Books:
Atomic Transactions,
Distributed Algorithms
The Theory of Timed I/O Automata

Nancy Lynch's Publications and TDS group Publications

Members of the TDS Group

Past Students

617 253-7225 (voice)

617 258-8682 (fax)

lynch@theory.csail.mit.edu

Administrative Assistant Joanne Talbot Hanley