Barbara Liskov

Barbara H. Liskov
Información sobre la plantilla
BarbaraLiskov.jpg
NombreBarbara Liskov
Nacimiento7 de noviembre de 1939
Barbara Jane Huberman, California, Bandera de los Estados Unidos de América Estados Unidos
PremiosPremio Turing

Barbara H. Liskov. Es una científica de la computación. En la actualidad es profesora de la Escuela del MIT de Ingeniería eléctrica y Ciencias de la computación y profesora del Instituto de Tecnología de Massachusetts . Pionera en la Programación orientada a objetos, es muy conocida por su trabajo sobre la abstracción de datos, una herramienta fundamental para la organización de programas.

Síntesis biográfica

Nació en Barbara Jane Huberman, California, Estados Unidos el 7 de noviembre de 1939.

Estudios realizados

Obtuvo su BA en matemáticas en la Universidad de California en Berkeley en 1961. En 1968 la Universidad de Stanford hizo de ella una de las primeras mujeres en Estados Unidos que se les conceda un Ph.D. de un departamento de informática. El tema de su tesis doctoral era un programa de ordenador para juegos de ajedrez.

Liskov ha llevado a muchos proyectos importantes, incluyendo el Sistema Operativo Venus, un sistema pequeño, de bajo costo y de tiempo compartido interactivo, el diseño y la implementación de CLU , Argus , el primer lenguaje de alto nivel para apoyar la implementación de los programas distribuidos y para demostrar la técnica de prometer la canalización y Thor, un sistema de base de datos orientado a objetos. Con Jeannette Wing, desarrolló una definición particular de subtipos, comúnmente conocido como el Principio de sustitución Liskov. Dirige el Grupo de Metodología de la programación en el MIT, con un enfoque de la investigación actual en la tolerancia a fallos bizantinos y la computación distribuida .

Obras publicadas

Barbara Liskov es la autora de tres libros y más de cien artículos técnicos.

Libros escritos

  • Abstraction and Specification in Program Development (Mh-Mit Series). 1986.
  • Program Development in Java: Abstraction, Specification and Object-oriented Design. 2000.
  • The Dawn of Software Engineering: from Turing to Dijkstra. 2012.

Reconocimiento y premios

Es miembro de la Academia Nacional de Ingeniería, de la Academia Americana de las Artes y las Ciencias y de la Association for Computing Machinery (ACM). En 2002, fue reconocida como uno de los mejores miembros de mujeres de la facultad en el MIT, y entre los 50 primeros miembros de la facultad de las ciencias en los Estados Unidos.

En 2004, Barbara Liskov ganó la Medalla John von Neumann "contribuciones fundamentales a los lenguajes de programación, metodología de programación, y sistemas distribuidos". El 19 de noviembre de 2005, Barbara Liskov y Donald E. Knuth fueron premiados con doctorados honorarios de ETH. Liskov y Knuth también se destacaron en el Coloquio Distinguido ETH Zurich.

Liskov recibió el 2008 Premio Turing de la ACM, en marzo de 2009, por su trabajo en el diseño de lenguajes de programación y metodología de software que llevaron al desarrollo de la programación orientada a objetos. En concreto, Liskov desarrolló dos lenguajes de programación, CLU en los años 1970 y Argus en la década de 1980. La ACM citó sus contribuciones a los fundamentos teóricos y prácticos del "lenguaje de programación y el diseño del sistema, especialmente relacionados con la abstracción de datos , tolerancia a fallos y distribuido computación ".

Fuentes