Diferencia entre revisiones de «Bárbara Liskov»

Revisión del 13:23 29 mar 2017

Biografía

Barbará Jane Huberman nació el 7 de noviembre de 1939 en Estados Unidos. 

Es una científica de la computación, en la actualidad es profesora en la escuela del MIT (instituto tecnológico de Massachusetts). Es conocida por su trabajo de abstracción de datos.

Estudios realizados

Se graduó en la en matemáticas en la Universidad de California en 1961, siete años después se convirtió en la primera mujer estadounidense en Doctora en Filosofía, en ciencias de la computación por la Universidad de Stanford. Bárbara 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 realización de CLU , Argus , el primer lenguaje de alto nivel para apoyar la realizació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.

Libros publicados

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

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.

Premios