Barbara Liskov

Liskov is the engineer of trust. In the early 1970s, when software was entering a crisis that practitioners openly called by that name—programs too large and tangled for any mind to hold, let alone modify safely—she diagnosed the root cause with characteristic precision: not insufficient cleverness but insufficient structure. Her answer was abstract data types, a discipline that bundles data with its permitted operations behind a barrier that hides implementation from caller, so that each piece of a system can be understood, trusted, and changed without re-examining the rest. She built this idea into a real language, CLU, whose innovations flowed directly into Java, C++, and Python. She gave software the Liskov Substitution Principle: a type is a genuine subtype only if you can replace it everywhere the supertype is expected and nothing the surrounding program relies on breaks. And, in 1999, with her student Miguel Castro, she built