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

Barbara Liskov

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ó. Su consejo para las mujeres que están pensando en una carrera en ingeniería es averiguar lo que les interese y estar preparadas para cambiar sus metas si eso resulta no ser la elección correcta.

Una entrevista 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 el diseño de los principios del 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. -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 en la programación, influyendo en los sistemas que se utilizan hoy en día para la programación, diseño de sistemas y arquitecturas distribuidas.

El lenguaje CLU Es un lenguaje de programación creado por el instituto de tecnología de Massachusetts (MIT) por Barbara Liskov y sus estudiantes entre 1974 y 1975. Usaba constructores para los tipos de datos abstractos que se incluyeron en el código, un paso adelante en la programación orientada a objetos (POO). No obstante, muchas otras de las características de POO estaban incompletas o necesitaban un mayor desarrollo. Por otra parte, el lenguaje se obstaculiza por una sintaxis que en ocasiones puede resultar engorrosa. CLU y Alphard parecen ser ambos lenguajes orientados a objetos completos, sin serlo en realidad.

Otra característica importante del tipo sistema de CLU son los iteradores (patrones de diseño), que devuelven objetos de un conjunto, uno detrás de otro. Los iteradores son como “cajas negras” que ofrecen una interfaz de programación de aplicaciones API donde no importaba el tipo de datos que estuvieran usando. Así, el iterador para un conjunto de números complejos sería idéntico que para un array de números enteros. Los iteradores son ahora una característica común de la mayoría de los lenguajes modernos.

Una característica distintiva final en CLU es la asignación múltiple, donde puede aparecer más de una variable en el lado izquierdo de un operador de asignación. Por ejemplo, escribiendo x, y = y, x los valores de intercambio de x y de Y. De la misma forma, las funciones podrían retornar varios valores, como x, y, z = f (t). Todos los objetos en un programa de CLU se declaran al principio, siendo así, la reserva de memoria automática.

El Principio de Sustitución de Liskov (LSP) Es una definición particular de una relación de subtipificación, llamada tipificación (fuerte) del comportamiento, que fue introducido inicialmente por Barbara Liskov en una conferencia magistral en 1987 titulada La Abstracción de Datos y Jerarquía. Se refiere más a una relación semántica que a una relación sintáctica, ya que sólo tiene la intención de garantizar la interoperabilidad semántica de tipos en una jerarquía, los tipos de objeto en particular. Liskov y Jeannette Wing formularon el principio de manera conjunta en un artículo en el año 1994 de la siguiente manera: Sea q (x) una propiedad comprobable acerca de los objetos x de tipo T. Entonces q (y) debe ser verdad para los objetos y del tipo S donde S, es un subtipo de T.

Premios

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

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

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

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

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

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

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

Publicaciones

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

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) [11]

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

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) [13]

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). [14]

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). [15]

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). [16]

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). [17]

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). [18]