Barbara Liskov
La informática cuyo trabajo sobre tipos de datos abstractos subyace a esencialmente todo lo que hoy llamamos orientación a objetos.
Liskov dirigió el desarrollo del lenguaje CLU en el MIT a lo largo de los años 70. Introdujo iteradores, manejo de excepciones y —lo más importante— tipos de datos abstractos, la idea de que un tipo se define por lo que puedes hacer con él y no por cómo se almacena. Eso es encapsulación antes de que existiera la palabra.
El principio de sustitución, formulado junto a Jeannette Wing en 1994, dice que un subtipo debe poder usarse en cualquier lugar donde se espere el tipo base sin alterar la corrección del programa. Es la L de SOLID y el más violado de los cinco. Fue una de las primeras mujeres en Estados Unidos en doctorarse en informática.