Barbara Liskov (nacida el 7 de noviembre de 1939 como Barbara Jane Huberman ) es una científica informática estadounidense que ha realizado contribuciones pioneras a los lenguajes de programación y la computación distribuida . Su notable trabajo incluye el desarrollo del principio de sustitución de Liskov, que describe la naturaleza fundamental de la abstracción de datos , y se utiliza en la teoría de tipos y en la programación orientada a objetos . Su trabajo fue reconocido con el Premio Turing 2008 , la más alta distinción en informática.
Liskov es una de las primeras mujeres en obtener un doctorado en informática en los Estados Unidos. Actualmente es Profesora del Instituto y Profesora Ford de Ingeniería en el Instituto Tecnológico de Massachusetts . [2] [3]
Liskov nació el 7 de noviembre de 1939 en Los Ángeles , California , [4] en una familia judía, el mayor de Jane (née Dickhoff) y los cuatro hijos de Moses Huberman. [5] Obtuvo su licenciatura en matemáticas con especialización en física en la Universidad de California, Berkeley en 1961. En sus clases tenía otra compañera de clase, el resto eran hombres. [6] Después de graduarse, aplicó a programas de posgrado en matemáticas en Berkeley y Princeton . En ese momento, Princeton no aceptaba estudiantes mujeres en matemáticas. [7] Fue aceptada en Berkeley pero en lugar de estudiar se mudó a Boston y comenzó a trabajar enCorporación Mitre . Fue allí donde se interesó por las computadoras y la programación. Trabajó en Mitre durante un año antes de aceptar un trabajo de programación en Harvard, donde trabajó en traducción de idiomas. [7]
Luego decidió volver a la escuela y volvió a postularse en Berkeley, pero también en Stanford y Harvard. En 1968 se convirtió en una de las primeras mujeres en los Estados Unidos en obtener un doctorado. de un departamento de informática cuando obtuvo su título de la Universidad de Stanford . [8] [9] [10] En Stanford, trabajó con John McCarthy y recibió apoyo para trabajar en inteligencia artificial . [7] El tema de su Ph.D. La tesis fue un programa de computadora para jugar finales de ajedrez para el cual desarrolló la importante heurística del asesino . [11]
Liskov ha liderado muchos proyectos importantes, incluido el sistema operativo Venus, un sistema de tiempo compartido pequeño y de bajo costo ; el diseño e implementación de CLU ; Argus , el primer lenguaje de alto nivel para soportar la implementación de programas distribuidos y para demostrar la técnica de canalización de promesas ; y Thor, un sistema de base de datos orientado a objetos . Con Jeannette Wing , desarrolló una definición particular de subtipificación , comúnmente conocida como el principio de sustitución de Liskov . Lidera el Grupo de Metodología de Programación en el MIT , con un enfoque de investigación actual en tolerancia a fallas bizantinas ycomputación distribuida . [3] Formó parte del jurado inaugural de Ingeniería y Ciencias de la Computación del Premio Infosys en 2009. [12]
Liskov es miembro de la Academia Nacional de Ingeniería , la Academia Nacional de Ciencias y miembro de la Academia Estadounidense de las Artes y las Ciencias y de la Asociación de Maquinaria Informática (ACM). En 2002, fue reconocida como una de las principales mujeres docentes del MIT, y entre las 50 principales docentes de ciencias en los EE . UU . [13] En 2002, la revista Discover reconoció a Liskov como una de las 50 mujeres más importantes de la ciencia. . [14]