$ Barbara Liskov

1939–
Programming languages and systems

Foundational work on data abstraction and modularity (CLU), object subtyping (LSP), and fault-tolerant distributed systems (Argus).

LSPdata abstractionCLUtype systemsexception handlingdistributed systemsArgus

$ 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

$ awards

  • ACM A.M. Turing Award (2008)
“Modularity based on abstraction is the hallmark of a good program.”

$ references

WikipediaMIT CSAIL ProfileCLU Language (MIT)Argus Transactions (ACM DL)Turing Lecture — The Power of Abstraction (ACM)