Bárbara Liskov

De WIAragón
Saltar a: navegación, buscar
Bárbara Liskov.
Barbara-Liskov-web.jpg
Área Profesora, informática, matemática.
Nacionalidad Estadounidense.
Lugar De Nacimiento Los Angeles, California.
Nombre Bárbara Liskov
Premio Medalla john Von Newmann (2004) premio Turing (2008)
Educación Ingienería informatica, ciencias de la computación en el MIT (1961) matemáticas (1968)
Ocupaciones Profesora en la Universidad del MIT


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) [1]. Es conocida por su trabajo de Abstracción de Datos. 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.

Estudios realizados

Se graduó en matemáticas en la Universidad de California en 1961.

Siete años después se convirtió en la primera mujer estadounidense en Doctorarse en Filosofía,y en ciencias de la computación por la Universidad de Stanford.

Bárbara ha llevado acabo muchos proyectos importantes, incluyendo el Sistema Operativo Venus, un sistema pequeño, de bajo coste 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.

Publicaciones

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

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 él Coloquio Distinguido ETH Zurich.

Liskov recibió el 2008 Premio Turing de la ACM.

Fuentes

http://ethw.org/Barbara_H._Liskov https://en.wikipedia.org/wiki/Barbara_Liskov#Personal_life http://www.csail.mit.edu/user/971