Barbara Liskov
Developed the Liskov Substitution Principle and a pioneer in programming language design.
Most quoted
"If for each object o1 of type S there is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P remains unchanged when o1 is substituted for o2, then S is a subtype of T."
— from A Behavioral Notion of Subtyping, 1994
"If for each object o1 of type S there is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is unchanged when o1 is substituted for o2 then S is a subtype of T."
— from Paper, 1987
"If you want to build a ship, don't drum up people to collect wood and don't assign them tasks and work, but rather teach them to long for the endless immensity of the sea."
— from Attributed (often to Saint-Exupéry, but used in her context)
All quotes by Barbara Liskov (315)
The joy of discovery is what drives many of us in science.
Good engineering is about making trade-offs.
The world is becoming increasingly interconnected, and our systems must reflect that.
The challenge is to build systems that are both powerful and easy to use.
Computer science is a creative endeavor.
We are constantly learning and evolving in this field.
The pursuit of correctness is paramount in software engineering.
The impact of computing on society is profound.
We need to foster a culture of collaboration and innovation.
The beauty of mathematics underpins much of computer science.
Thinking about the future is essential for long-term success.
The ability to generalize from specific instances is a powerful skill.
We are building the infrastructure for the digital age.
The quest for understanding is what drives scientific progress.
The human mind is capable of incredible feats of abstraction.
We must strive for clarity in our designs and our communication.
The world is full of interesting problems waiting to be solved.
Data abstraction is the most important organizing principle in software engineering.
The goal of abstraction is to hide complexity.
Modularity is not enough; we need abstraction.
Contemporaries of Barbara Liskov
Other Computer Sciences born within 50 years of Barbara Liskov (1939).