Barbara Liskov

Barbara Liskov
Barbara en 2009.
Información personal
Nombre completo	Barbara Jane Huberman
Nacimiento	7 de noviembre de 1939 85 años Estados Unidos
Nacionalidad	estadounidense
Educación
Educación	doctorado
Educada en	Universidad de California en Berkeley Universidad Stanford (Ph.D.; hasta 1968)
Supervisor doctoral	John McCarthy
Alumna de	John McCarthy
Información profesional
Ocupación	informática, matemática, profesora
Empleador	Instituto Tecnológico de Massachusetts
Estudiantes doctorales	Maurice Herlihy
Obras notables	computación distribuida
Miembro de	Academia Estadounidense de las Artes y las Ciencias Academia Nacional de Ingeniería (desde 1988) Association for Computing Machinery (desde 1996) Academia Nacional de Ciencias de los Estados Unidos (desde 2012)
Sitio web	Barbara Liskov
Distinciones	Premio Turing 2008 Medalla John von Neumann 2004

Barbara Jane Huberman (nacida el 7 de noviembre de 1939) es una prominente científica de la computación estadounidense.

Biografía

Actualmente está trabajando en el departamento de Ingeniería eléctrica y Ciencias de la computación del MIT, como profesora de ingeniería de Ford. Consiguió su graduación en Matemáticas en la Universidad de California, Berkeley en 1961 y años más tarde, en 1968, se convirtió en la primera mujer de los Estados Unidos en conseguir un Doctor Philosophiae en Ciencias de la computación por la Universidad de Stanford.

Barbara Liskov ha dirigido varios proyectos significativos, como el diseño e implementación del lenguaje de programación CLU, el primer lenguaje de programación que soportaba la abstracción de datos, Argus, que fue el primer lenguaje de alto nivel en soportar la implementación de programas distribuidos y Thor, un sistema de base de datos orientado a objetos. Junto con Jeannette Wing, desarrolló una particular definición de subtipo, comúnmente conocido como el Principio de sustitución de Liskov.

La profesora Liskov es miembro de la Academia Nacional de Ingeniería (National Academy of Engineering) de los Estados Unidos. En 2004 ganó la Medalla John von Neumann por Su fundamental contribución a los lenguajes de programación, metodologías de programación y sistemas distribuidos. En 2008 ganó el premio Turing por "su contribución a los fundamentos teóricos y prácticos en el diseño de lenguajes de programación y sistemas, especialmente relacionados con la abstracción de datos, tolerancia a fallos y computación distribuida".

Además, Liskov es autora de 3 libros y cientos de informes técnicos.

Predecesor: Edmund Clarke, E. Allen Emerson, Joseph Sifakis

Premio Turing 2008

Sucesor: Charles Thacker