![]() ![]() ![]() She has also been recognized for her work. ![]() She is a fellow of the National Academy of Sciences, National Academy of Engineering and the ACM. She has written many research articles regarding formal modeling and the validation of distributed systems and a widely used graduate textbook, Distributed Algorithms. Their research was awarded the PODC Influential-Paper Award for 2001, the first of two for Lynch, who was recognized again by the organization in 2007. She worked with colleagues to show that an asynchronous distributed system does not allow consensus if one processor crashes. She began her career teaching math and computer science at Tufts University, Florida International University, the Georgia Institute of Technology School of Computational Science & Engineering and the University of Southern California. from the Massachusetts Institute of Technology. She attended Brooklyn College, where she studied mathematics. Nancy Lynch is the head of the Theory of Distributed Systems research group at the Massachusetts Institute of Technology’s Computer Science and Artificial Intelligence Laboratory, a mathematician, theorist and NEC Professor of Software Science and Engineering. ![]() Areas of Specialization: Distributed Algorithms, Formal Modeling ![]()
0 Comments
Leave a Reply. |