Bárbara Liskov, nacida el 7 de noviembre de 1939, fue la primera mujer de Estados Unidos en doctorarse en Ciencias de la Computación. Pero ese es sólo el primero de una serie de importantes logros.

Bárbara es la creadora del lenguaje de programación CLU, un lenguaje de mediados de los ‘70, que ahora nos parece rústico, pero que con sus conceptos de abstracción, de clusters (lo que hoy llamaríamos clases), y de iteradores, sentó las bases sobre las que luego se diseñaron los lenguajes de programación orientados a objetos, dando lugar al nacimiento de lenguajes como Ada, C++, Java y C#.

Además de eso, también en los ‘70, trabajó en el diseño de un sistema operativo multi-tarea multi-usuario, llamado Venus. Y en los ‘80 en el diseño de otro lenguaje de programación, llamado Argus, orientado al desarrollo de programas distribuidos, en el que se analizaban los conceptos más importantes a tener en cuenta; dando lugar al nacimiento de aplicaciones distribuidas, como los motores de búsqueda.

En el trabajo de sentar las bases de los lenguajes orientados a objetos, elaboró el teorema de sustitución de Liskov, que define cómo deben comportarse los objetos cuando utilizan herencia.

Actualmente, con 70 años, sigue trabajando como líder del Programming Methodology Group en el MIT, investigando sobre técnicas para hacer que los algoritmos sean tolerantes a fallas “bizantinas".

Por todo esto, recibió en 2004 la medalla John von Neumann, y en 2008 la ACM le otorgó el premio Alan Turing, el más importante en lo que tiene que ver con computación.