Nancy Lynch
Lynch supplied durable formal tools for reasoning about distributed behavior, timing, and failures—properties that security protocols and dependable systems must make explicit.
Nancy Lynch is the NEC Professor of Software Science and Engineering at MIT and heads the Theory of Distributed Systems group at CSAIL. Her work addresses distributed algorithms, impossibility results, and formal modeling and validation.
Models for distributed behavior
Lynch and collaborators developed the I/O automata framework and related work on timed systems. Such models let researchers state and test what a distributed component is allowed to do, including under failures and adversarial conditions.
A foundation for assurance
Her research is not an exploit technique; it provides methods used to reason about the correctness and guarantees of distributed and secure systems.
Timeline
- 1982Joins the MIT faculty.
- 1989Publishes early work on timed I/O automata with colleagues.
- 1996Publishes <em>Distributed Algorithms</em>.
- PresentLeads the Theory of Distributed Systems group at MIT CSAIL.
Nancy Lynch
- Type
- Person
- Era
- 1970s-Present
- Known for
- Distributed Algorithms; I/O automata; Theory of distributed systems
- Tags
- distributed-systems, formal-methods, fault-tolerance, security
Created by Joas A Santos · Something wrong or want it removed? Open an issue.