Barbara Liskov is an American computer scientist known for work in programming languages, abstraction, and distributed systems. The Liskov substitution principle became a core idea in object-oriented design.