Nancy Ann Lynch

NEC Professor of Software Science and Engineering, Professor of Electrical Engineering and Computer Science. Over the past thirty years, spearheaded the development of a comprehensive theory and practice of fault-tolerant distributed computing, from rigorous models permitting the analysis, comparison, and verification of multi-process algorithms, through algorithmic techniques spanning all fundamental problems (such as consensus, resource allocation, and synchronization), to identifying the boundaries between what is possible and provably impossible to solve in a distributed setting. Awards include the IEEE Piore Award (2010) and the ACM Knuth Prize (2007).