stringtranslate.com

Bárbara Liskov

Barbara Liskov (nacida el 7 de noviembre de 1939 como Barbara Jane Huberman ) es una científica informática estadounidense que ha realizado contribuciones pioneras a los lenguajes de programación y la computación distribuida . Su trabajo notable incluye la introducción de tipos de datos abstractos y el principio acompañante de abstracción de datos , junto con el principio de sustitución de Liskov , que aplica estas ideas a la programación orientada a objetos , la subtipificación y la herencia . Su trabajo fue reconocido con el Premio Turing 2008 , la más alta distinción en ciencias de la computación.

Liskov es una de las primeras mujeres en obtener un doctorado en informática en los Estados Unidos y la segunda mujer en recibir el premio Turing. Actualmente es profesora del Instituto y profesora Ford de Ingeniería en el Instituto Tecnológico de Massachusetts . [2] [3]

Vida temprana y educación

Liskov nació el 7 de noviembre de 1939 en Los Ángeles, California, [4] la mayor de los cuatro hijos de Jane (née Dickhoff) y Moses Huberman. [5] Obtuvo su licenciatura en matemáticas con especialización en física en la Universidad de California, Berkeley en 1961. En Berkeley, solo tenía otra compañera de clase femenina en su especialidad. [6] Se postuló a programas de posgrado en matemáticas en Berkeley y Princeton . En ese momento Princeton no aceptaba estudiantes mujeres en matemáticas. [7] Fue aceptada en Berkeley, pero en su lugar se mudó a Boston y comenzó a trabajar en Mitre Corporation , donde se interesó en las computadoras y la programación. Trabajó en Mitre durante un año antes de aceptar un trabajo de programación en Harvard trabajando en traducción de idiomas. [7]

Luego decidió volver a la escuela y solicitó nuevamente admisión en Berkeley, pero también en Stanford y Harvard. En marzo de 1968 se convirtió en una de las primeras mujeres en los Estados Unidos en obtener un doctorado de un departamento de informática cuando recibió su título de la Universidad de Stanford . [8] [9] [10] En Stanford, trabajó con John McCarthy y recibió apoyo para trabajar en inteligencia artificial . [7] El tema de su tesis doctoral fue un programa de computadora para jugar finales de ajedrez para el cual desarrolló la importante heurística asesina . [11]

Carrera

Después de graduarse en Stanford, Liskov regresó a Mitre para trabajar como personal de investigación. [2]

Liskov ha liderado muchos proyectos importantes, incluyendo el sistema operativo Venus, un sistema de tiempo compartido pequeño y de bajo costo ; el diseño e implementación de CLU ; Argus , el primer lenguaje de alto nivel para soportar la implementación de programas distribuidos y demostrar la técnica de canalización de promesas ; y Thor, un sistema de base de datos orientado a objetos . Con Jeannette Wing , desarrolló una definición particular de subtipificación , comúnmente conocida como el principio de sustitución de Liskov . Dirige el Grupo de Metodología de Programación en el MIT , con un enfoque de investigación actual en tolerancia a fallas bizantinas y computación distribuida . [3] Fue parte del jurado inaugural de Ingeniería y Ciencias de la Computación para el Premio Infosys en 2009. [12]

Reconocimientos y premios

Liskov es miembro de la Academia Nacional de Ingeniería , la Academia Nacional de Ciencias y miembro de la Academia Estadounidense de Artes y Ciencias y de la Asociación para Maquinaria Computacional (ACM). En 2002, fue reconocida como una de las mejores mujeres docentes del MIT y entre las 50 mejores docentes en ciencias de los EE. UU. [13] En 2002, la revista Discover reconoció a Liskov como una de las 50 mujeres más importantes en la ciencia. [14]

En 2004, Barbara Liskov ganó la Medalla John von Neumann por "contribuciones fundamentales a los lenguajes de programación, la metodología de programación y los sistemas distribuidos ". [15] El 19 de noviembre de 2005, Barbara Liskov y Donald E. Knuth recibieron el Doctorado Honoris Causa de la ETH . [16] Liskov y Knuth también fueron incluidos en la Serie de Coloquios Distinguidos de la ETH de Zúrich. [17] La ​​Universidad de Lugano le otorgó un Doctorado Honoris Causa en 2011 [18] y la Universidad Politécnica de Madrid en 2018. [19]

Liskov recibió el Premio Turing 2008 de la ACM en marzo de 2009, [20] por su trabajo en el diseño de lenguajes de programación y metodología de software que condujo al desarrollo de la programación orientada a objetos . [21] Específicamente, Liskov desarrolló dos lenguajes de programación, CLU [22] en la década de 1970 y Argus [23] en la década de 1980. [21] La ACM citó sus contribuciones a los fundamentos prácticos y teóricos del "lenguaje de programación y diseño de sistemas , especialmente relacionados con la abstracción de datos , la tolerancia a fallas y la computación distribuida ". [24] En 2012 fue incluida en el Salón Nacional de la Fama de los Inventores . [25]

En 2023, Liskov recibió la Medalla Benjamin Franklin del Instituto Franklin por sus "contribuciones fundamentales a los lenguajes y metodologías de programación informática, permitiendo la implementación de programas confiables y reutilizables". [26]

Obras seleccionadas

Liskov es autor de cinco libros (a febrero de 2023) y más de cien artículos técnicos.

Libros

Artículos seleccionados

Vida personal

En 1970, se casó con Nathan Liskov. [7] Tienen un hijo, Moses, que obtuvo un doctorado en informática del MIT en 2004 y enseña informática en el College of William and Mary . [2]

Véase también

Referencias

  1. ^ Barbara Liskov en el Proyecto de Genealogía Matemática
  2. ^ abc "Barbara Liskov". Premio AM Turing . Association for Computing Machinery . Consultado el 28 de agosto de 2021 .
  3. ^ por Barbara Liskov, Grupo de Metodología de Programación, MIT.
  4. ^ Karagianis, Liz (otoño de 2009). "Top Prize". MIT Spectrum . Consultado el 10 de julio de 2016 .
  5. ^ "Jane Siegel: Obituary". San Francisco Chronicle (vía Legacy.com) . 24 de enero de 2010. Consultado el 18 de noviembre de 2014 .
  6. ^ D'Agostino, Susan (20 de noviembre de 2019). "El arquitecto de los algoritmos modernos". Revista Quanta . Consultado el 21 de octubre de 2020 .
  7. ^ abcd Guttag, John (1 de enero de 2005). El electrón y el bit: ingeniería eléctrica y ciencias de la computación en el Instituto Tecnológico de Massachusetts, 1902-2002 . Cambridge, Mass.: MIT, Departamento de Ingeniería Eléctrica y Ciencias de la Computación. OCLC  61332947.
  8. ^ "Barbara Liskov". EngineerGirl . Consultado el 6 de septiembre de 2007 .Perfil de las Academias Nacionales de Ingeniería.
  9. ^ "Doctorados en Ciencias de la Computación de la Universidad de Wisconsin-Madison otorgados entre mayo de 1965 y agosto de 1970" . Consultado el 8 de noviembre de 2010 .Doctorados otorgados en el Departamento de Ciencias de la Computación de la UW-Madison.
  10. ^ "Barbara Liskov | Biografía, premio AM Turing y datos". Enciclopedia Británica . Consultado el 25 de septiembre de 2021 .
  11. ^ Huberman (Liskov), Barbara Jane (1968). Un programa para jugar partidas finales de ajedrez (PDF) (Informe). Informe técnico CS 106, Stanford Artificial Intelligence Project Memo AI-65. Departamento de Ciencias de la Computación de la Universidad de Stanford. Archivado desde el original (PDF) el 11 de febrero de 2017.
  12. ^ "Infosys Prize - Jury 2009". Fundación Científica Infosys . Consultado el 1 de marzo de 2021 .
  13. ^ "Las siete magníficas del MIT: mujeres miembros de la facultad citadas como científicas de primer nivel". MIT News Office . Cambridge, MA. 5 de noviembre de 2002 . Consultado el 29 de octubre de 2012 .
  14. ^ Svitil, Kathy (13 de noviembre de 2002). «Las 50 mujeres más importantes de la ciencia». Discover . Consultado el 1 de mayo de 2019 .
  15. ^ Destinatarios de la Medalla John von Neumann del IEEE del sitio web del IEEE
  16. ^ "Doctores honorarios". Zurich: ETH Computer Science. 22 de marzo de 2006. Archivado desde el original el 8 de enero de 2013. Consultado el 29 de octubre de 2012. Barbara Liskov y Donald E. Knuth recibieron el título de Doctores honorarios de la ETH el 19 de noviembre de 2005.
  17. ^ "Distinguidos profesores Barbara Liskov y Donald E. Knuth". Zurich: ETH Computer Science. Enero de 2006. Archivado desde el original el 8 de enero de 2013. Consultado el 29 de octubre de 2012 .
  18. ^ "Doctorados honorarios de la USI". USI . Consultado el 16 de mayo de 2021 .
  19. ^ elEconomista.es. «Barbara Liskov, nueva doctora honoris causa por la UPM - elEconomista.es» (en español) . Consultado el 11 de junio de 2018 .
  20. ^ Weisman, Robert (10 de marzo de 2009). «El máximo galardón en informática lo recibe un profesor del MIT». The Boston Globe .
  21. ^ ab Barbara Liskov gana el premio Turing | 10 de marzo de 2009, del sitio web del Dr. Dobb's Journal
  22. ^ Liskov, B.; Snyder, A.; Atkinson, R.; Schaffert, C. (agosto de 1977). "Mecanismos de abstracción en CLU". Comunicaciones de la ACM . 20 (8): 564–576. CiteSeerX 10.1.1.112.656 . doi :10.1145/359763.359789. S2CID  17343380. 
  23. ^ Liskov, B. (marzo de 1988). "Programación distribuida en Argus". Comm. ACM . 31 (3): 300–312. doi : 10.1145/42392.42399 . S2CID  16233001.
  24. ^ "ACM nombra a Barbara Liskov ganadora del premio ACM AM Turing 2008". Association for Computing Machinery. Archivado desde el original el 16 de julio de 2012. Consultado el 10 de marzo de 2009 .
  25. ^ "Spotlight | National Inventors Hall of Fame". Invent.org. 21 de noviembre de 2013. Archivado desde el original el 14 de agosto de 2016. Consultado el 31 de mayo de 2016 .
  26. ^ "Barbara H. Liskov, Ph.D." Consultado el 25 de marzo de 2024 .

Enlaces externos

Wikiquote tiene citas relacionadas con Barbara Liskov .