stringtranslate.com

Barbara Liškov

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 de abstracción de datos que los acompaña , junto con el principio de sustitución de Liskov , que aplica estas ideas a la programación , la subtipificación y la herencia orientadas a objetos . Su trabajo fue reconocido con el Premio Turing 2008 , la máxima distinción en informática.

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]

Temprana edad y educación

Liskov nació el 7 de noviembre de 1939 en Los Ángeles, California, [4] el mayor de los cuatro hijos de Jane (de soltera 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 en su especialidad. [6] Solicitó plaza en programas de posgrado en matemáticas en Berkeley y Princeton . En ese momento, Princeton no aceptaba estudiantes femeninas en matemáticas. [7] Fue aceptada en Berkeley, pero 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 postuló nuevamente a Berkeley, pero también a 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 obtuvo 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 doctorado. Su tesis 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 de Stanford, Liskov regresó a Mitre para trabajar como personal de investigación. [2]

Liskov ha dirigido muchos proyectos importantes, incluido 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 que soporta la implementación de programas distribuidos y demuestra 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 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] Formó parte del jurado inaugural de Ingeniería e Informática del 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 de Computación (ACM). En 2002, fue reconocida como una de las mejores mujeres docentes del MIT y entre las 50 mejores docentes de ciencias en 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 doctorados honorarios de la ETH . [16] Liskov y Knuth también aparecieron en la Serie de Coloquios Distinguidos de ETH Zurich. [17] Recibió el Doctorado Honoris Causa por la Universidad de Lugano en 2011 [18] y por 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 condujeron 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 de la Fama de los Inventores Nacionales . [25]

En 2023, Liskov recibió la Medalla Benjamin Franklin del Instituto Franklin por "contribuciones fundamentales a la metodología y los lenguajes de programación de computadoras, que permiten la implementación de programas confiables y reutilizables". [26]

Trabajos seleccionados

Liskov es autor de cinco libros hasta 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]

Ver también

Referencias

  1. ^ Barbara Liskov en el Proyecto de genealogía de matemáticas
  2. ^ a b "Bárbara Liskov". Premio AM Turing . Asociación para Maquinaria de Computación . Consultado el 28 de agosto de 2021 .
  3. ^ ab Barbara Liskov, Grupo de Metodología de Programación, MIT.
  4. ^ Karagianis, Liz (otoño de 2009). "Primer premio". Espectro del MIT . Consultado el 10 de julio de 2016 .
  5. ^ "Jane Siegel: obituario". Crónica de San Francisco (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 e informática en el Instituto de Tecnología de Massachusetts, 1902-2002 . Cambridge, Mass.: MIT, Departamento de Ingeniería Eléctrica y Ciencias de la Computación OCLC  61332947.
  8. ^ "Bárbara Liskov". Chica ingeniera . Consultado el 6 de septiembre de 2007 .Perfil de las Academias Nacionales de Ingeniería.
  9. ^ "Doctorado en Ciencias de la Computación de la UW-Madison, mayo de 1965 - 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 hechos". Enciclopedia Británica . Consultado el 25 de septiembre de 2021 .
  11. ^ Huberman (Liskov), Barbara Jane (1968). Un programa para jugar finales de ajedrez (PDF) (Reporte). Informe técnico CS 106, Memo AI-65 del proyecto de inteligencia artificial de Stanford. Departamento de Ciencias de la Computación de la Universidad de Stanford. Archivado desde el original (PDF) el 11 de febrero de 2017.
  12. ^ "Premio Infosys - Jurado 2009". Fundación Científica Infosys . Consultado el 1 de marzo de 2021 .
  13. ^ "Los siete magníficos del MIT: mujeres docentes citadas como científicas destacadas". Oficina de noticias del MIT . 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". Descubrir . Consultado el 1 de mayo de 2019 .
  15. ^ Destinatarios de la medalla IEEE John von Neumann del sitio web de IEEE
  16. ^ "Doctores honorarios". Zúrich: ETH Informática. 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 Doctor Honoris Causa de la ETH el 19 de noviembre de 2005.
  17. ^ "Distinguidos profesores Barbara Liskov y Donald E. Knuth". Zúrich: ETH Informática. Enero de 2006. Archivado desde el original el 8 de enero de 2013 . Consultado el 29 de octubre de 2012 .
  18. ^ "Doctorados Honoris Causa 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 primer premio en informática es para el profesor del MIT". El 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". Com. 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". Asociación para Maquinaria de Computación. Archivado desde el original el 16 de julio de 2012 . Consultado el 10 de marzo de 2009 .
  25. ^ "Spotlight | Salón de la fama de los inventores nacionales". Invent.org. 2013-11-21. 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 .