Barbara Liskov
Liskov’s work provides foundations for making complex software more reliable: abstraction, distributed programming and fault-tolerant replication are central ideas in modern secure systems engineering.
Barbara Liskov is an MIT computer scientist whose research spans programming methodology, languages and distributed systems. Her projects include CLU, Argus and later work on Byzantine-fault-tolerant storage.
Dependable systems
Her research helped establish ways to reason about data abstraction and behavior in programs, and it advanced mechanisms for distributed systems that continue functioning despite faults or malicious participants. These ideas have enduring relevance to security engineering, though they are not a substitute for complete security design.
Recognition
Liskov received the ACM A.M. Turing Award for practical and theoretical contributions to programming-language and system design.
Timeline
- 1939-11-07Born in Los Angeles, California.
- 1968Completes a Stanford computer-science doctorate.
- 1972Joins MIT.
- 1970sLeads development of CLU and later Argus.
- 1999Co-authors Practical Byzantine Fault Tolerance research.
- 2008Receives the ACM A.M. Turing Award.
Barbara Liskov
- Type
- Person
- Era
- 1960s-Present
- Born
- 1939
- Known for
- CLU; Argus; Practical Byzantine fault tolerance; Liskov substitution principle
- Tags
- distributed-systems, fault-tolerance, programming-languages, security-engineering
Created by Joas A Santos · Something wrong or want it removed? Open an issue.