Nancy Lynch

About

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, National Academy of Sciences, an ACM Fellow, and a winner of several prizes for contributions to distributed computing theory.