Barbara Liskov
1939–
Programming languages and systems
Foundational work on data abstraction and modularity (CLU), object subtyping (LSP), and fault-tolerant distributed systems (Argus).
Major Contributions
- - Formulated the Liskov Substitution Principle (LSP): behavioral subtyping for safe object-oriented design
- - Designed the CLU language (modules, iterators, exceptions, abstract data types) shaping modern PL design
- - Advanced specification techniques and modular reasoning for reliable software at scale
- - Led Argus, an early distributed programming language supporting guardians and atomic transactions
- - Pioneered practical, fault-tolerant distributed systems with clear abstraction boundaries
Recognition
- ACM A.M. Turing Award (2008)
"Modularity based on abstraction is the hallmark of a good program."- Barbara Liskov