Liskov,Barbara

Barbara Liskov
Nombre	Barbara Jane Huberman Liskov
Campo de Estudio	Sistemas y Redes
Nacionalidad	Estadounidense
Lugar De Nacimiento	California, Estados Unidos
Alma mater	Universidad de Stanford
Página de referencias	http://www.pmg.csail.mit.edu/~liskov/
Fecha De Nacimiento	7 de Noviembre de 1939 (77 años)
Profesión	Profesora de universidad
Lugar de trabajo	Instituto Tecnológico de Massachusetts

Actualmente, ejerce como profesora de ciencias de la computación en el Massachusetts Institute of Technology (MIT). Su investigación y enseñanza se centran en como mejorar el software que se ha convertido en una parte esencial de muchas cosas que hacemos por lo que es importante que se comporte como se espera sin que se produzcan acciones inesperadas. Para ello estudia técnicas que conducen a que los programas funcionen correctamente y hacer lo que se supone que deben hacer y también trabaja la computación distribuida, es decir, aquellos programas que dependen de redes de comunicaciones(como Internet y la World Wide Web).

Biografía

Nacida el 7 de noviembre de 1939, estudió en la Universidad de California en Berkeley, donde se especializó en matemáticas. Cuando se graduó comenzó a trabajar en el campo de la informática durante dos años en los que ejerció como programadora. Poco después volvió a la escuela para los estudios de postgrado, en la Universidad de Stanford. Allí durante 1963, la informática todavía estaba comenzando y no había un departamento que se encargase de estudiarla. Dicho departamento se formó mientras por esa época en la que Liskov era estudiante. Hizo su investigación de postgrado en inteligencia artificial y su tesis fue Un Programa para Jugar al Ajedrez. Cuando terminó su doctorado, en 1968, volvió a trabajar en la industria. Una de las ventajas de trabajar en la industria era que proporcionaba un buen ambiente para cambiar de campo de investigación, de inteligencia artificial que era en lo que había trabajado a sistemas de software, que son sido su principal área de trabajo desde entonces. Trabajó en la industria durante cuatro años y luego se trasladó al MIT.

El apoyo de sus padres sirvió de estímulo para sobresalir académicamente. Nunca le dijeron que ciertas cosas no debían ser hechas por mujeres (normalmente tendría que enseñar o ser secretaria si no se casaba o algo le sucedía a su marido). Esto le permitió seguir su interés en las matemáticas y la ciencia en lugar de tomar una dirección más convencional. Cuando Liskov era joven, era raro que las mujeres pensaran en tener una carrera. Esto causó que sólo se centrase en su trabajo porque se esperaba que lo dejase al tener una familia (situación debida a la situación de la mujer en aquella época). Sin embargo, terminó tan comprometida con su trabajo que a pesar de tener una familia continuó.

Una entrevista que le hicieron en 2001 sobre su vida:[1]

Trabajo

Liskov ha trabajado en proyectos importantes en los que se incluye : -El Sistema Operativo Venus, un sistema pequeño, de bajo costo y de tiempo compartido interactivo que sirvió de ejemplo para diseñarlos principios de los sistema operativo.

-El diseño y la implementación de CLU[2], Argus, el primer lenguaje de programació para apoyar la implementación de Thor, un sistema de base de datos orientado a objetos.

CLU es un lenguaje de programación creado por Barbara Liskov y sus estudiantes entre 1974 y 1975. Usaron constructores para los tipos de datos abstractos [3] que incluyeron en el código, permitiendo avanzar en la programación orientada a objetos (POO). No obstante, muchas de las características de POO estaban incompletas o necesitaban ser desarrolladas. Además, la sintaxis del lenguaje era complicada.

-Dirige el Grupo de Metodología de la programación en el MIT, con un enfoque de la investigación actual en la computación distribuida . Sus contribuciones se utilizan hoy en día influyendo en los sistemas que se utilizan hoy en día para la programación, diseño de sistemas y arquitecturas distribuidas.

-El Principio de Sustitución de Liskov o Liskov Substitution Principle es un principio de la programación orientada a objetos, que fue introducido por Barbara Liskov en 1987 y formulado de manera conjunta en un artículo en el año 1994 por Liskov y Jeannette Wing

Premios

-Society of Women Engineers: Achievement Award (1996) [4]

-Institute of Electrical and Electronics Engineers: John von Neumann Medal (2004) [5]

-Association for Computing Machinery: Impact Paper Award (2007) [6]

-Association for Computing Machinery: A.M. Turing Award (2009) [7]

-CMU and Tokyo University of Technology: Katayanagi Award for Research Excellence (2011) [8]

-Association for Computing Machinery: SIGOPS Hall of Fame Award (2012) [9]

-University of Pennsylvania: Harold Pender Award (2013) [10]

Publicaciones

-Tesis: "A Program to Play Chess end Games" [[11]]

-Liskov, B., "A Decentralized Model for Information Flow Control," Proceedings of the 17th Symposium on Operating Systems Principles, October 1997, 129-147 (with A. Myers) [12]

-Liskov, B., "Practical Byzantine Fault Tolerance and Proactive Recovery," Transactions on Computer Systems 20(4), November 2002, 398-461 (with M. Castro) [13]

-Liskov, B., "BASE: Using Abstraction to Improve Fault Tolerance," ACM Transactions on Computer Systems 21(3), August 2003, 236-269 (with R. Rodrigues and M. Castro) [14]

-Path Vector Face Routing: Geographic Routing with Local Face Information. In Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP 2005). Boston, Massachusetts, November 2005. (with B.Leong and S.Mitra). [15]

-Tolerating Byzantine Faulty Clients in a Quorum System. In Proceedings of the 26th International Conference on Distributed Computing Systems (ICDCS 2006). Lisbon, Portugal. July 2006. (with R.Rodrigues). [16]

-Automatic Software Upgrades for Distributed Systems. In Proceedings of the European Conference on Object-oriented Programming (ECOOP 2006). Nantes, France. July 2006. (with S.Ajmani and L.Shrira). [17]

-HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. To appear in Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI 2006). Seattle, Washington, November 2006. (with J.Cowling, D.Myers, R.Rodrigues, and L.Shrira). [18]

-Tolerating Byzantine Faults in Transaction Processing Systems Using Commit Barrier Scheduling (SOSP 2007). Stevenson, Washington, October, 2007. (with B.Vandiver, H.Balakrishnan, and S.Madden). [19]