Probabilistic Simulations for Probabilistic Processes (1994) (807).Hierarchical correctness proofs for distributed algorithms (1987) (940).An introduction to input/output automata (1989) (1318).Consensus in the presence of partial synchrony (1988) (1720).Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services (2002) (1848).Impossibility of distributed consensus with one faulty process (1985) (2395).Impossibility of distributed consensus with one faulty process (1983) (2910).(See a Problem?) Nancy Lynch's Published Works She is the NEC Professor of Software Science and Engineering in the EECS department and heads the "Theory of Distributed Systems" research group at MIT's Computer Science and Artificial Intelligence Laboratory. In 2006, Lynch was awarded the Van Wijngaarden Award (named for the Dutch mathematician credited as the father of informatics) and in 2007 she won the Knuth Prize.įeatured in Top Influential Computer Scientists Today and Top Women in STEMĪccording to Wikipedia, Nancy Ann Lynch is a mathematician, a theorist, and a professor at the Massachusetts Institute of Technology. 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 kommentar(er)
