Prof. Dr. Nancy Lynch

(*1948)

ist eine US-amerikanische Informatikerin und Mathematikerin, Professorin und Leiterin der Forschungsgruppe „Theory of Distributed Systems“ am „Artiﬁcial Intelligence Laboratory of the Massachusetts Institute of Technology“. Lynch gilt als anerkannte Expertin für Verteiltes Rechnen und Verteilte Systeme.

Werdegang & Beitrag:

Lynch studierte Mathematik am Brooklyn College.

1972 promovierte sie bei Albert Ronald da Silva Meyer mit der Arbeit „Relativization in the theory of computational complexity“ (Massachusetts Institute of Technology, MIT).

Nach Forschungsaufenthalten an verschiedenen Universitäten (Tufts University, University of Southern California, Florida International University und Georgia Institute of Technology) kam sie 1982 zurück ans MIT, wo sie bis heute als Professor of Software Science and Engineering, Professor of Electrical Engineering and Computer Science tätig ist.

Sie forschte mit dem Ziel komplexe verteilte Systeme zu konstruieren und mit mathematischen Methoden zu untersuchen. So zeigte sie in der Zusammenarbeit mit Michael J. Fischer und Mike Paterson, dass der sogenannte „consensus“ (das Gelingen der Einigung auf einem Task in den nicht fehlerfreien Systemen im Kontext der Verteilten Rechnens) in den asynchronen verteilten Systemen möglich ist, was eine immense Bedeutung für die Theorie und Praxis der verteilten Rechnen hatte.

Im Laufe ihrer Karriere hat sie zahlreiche Forschungsarbeiten veröffentlicht und trug damit erheblich zum besseren Verständnis der Vielschichtigkeit von verteilten Systemen (Modellierung, Validierung, Algorithmen) bei. Ihr Lehrbuch „Distributed Algorithms“ gilt bis heute als Standardwerk.

Forschungsschwerpunkte:

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

Auszeichnungen: