Barbara Liskov
L'informaticienne dont les travaux sur les types abstraits sous-tendent à peu près tout ce qu'on appelle aujourd'hui la programmation orientée objet.
Liskov a dirigé le développement du langage CLU au MIT durant les années 1970. On y trouve les itérateurs, la gestion des exceptions et — surtout — les types abstraits, l'idée qu'un type se définit par ce qu'on peut en faire plutôt que par la façon dont il est stocké. C'est de l'encapsulation avant même que le mot n'existe.
Le principe de substitution, formulé avec Jeannette Wing en 1994, énonce qu'un sous-type doit pouvoir être utilisé partout où le type de base est attendu sans changer la correction du programme. C'est le L de SOLID, et le plus souvent violé des cinq. Elle fut l'une des premières femmes aux États-Unis à obtenir un doctorat en informatique.