Barbara Liskov (nacida el 7 de noviembre de 1939 como Barbara Jane Huberman ) es una científica informática estadounidense [2] que es profesora de instituto en el Instituto de Tecnología de Massachusetts y profesora de ingeniería de Ford en el departamento de ingeniería eléctrica e informática de su Escuela de Ingeniería . . [3] Fue una de las primeras mujeres en obtener un doctorado en ciencias de la computación en los Estados Unidos y es una ganadora del premio Turing que desarrolló el principio de sustitución de Liskov .
| Barbara Liskov | |
|---|---|
 Liskov en 2010. | |
| Nació | Barbara Jane Huberman 7 de noviembre de 1939 |
| Ciudadanía | EE.UU |
| alma mater | |
| Conocido por |
|
| Esposos) | Nathan Liskov (1970–) |
| Niños | 1 |
| Premios |
|
| Carrera científica | |
| Campos | Ciencias de la Computación |
| Instituciones | Instituto de Tecnología de Massachusetts |
| Tesis | Un programa para jugar partidas finales de ajedrez (1968) |
| Asesor de doctorado | John McCarthy [1] |
| Estudiantes de doctorado | Maurice Herlihy , J. Eliot Moss , Sanjay Ghemawat |
Temprana edad y educación
Liskov nació el 7 de noviembre de 1939 en Los Ángeles , California , [4] en una familia judía, la mayor de Jane (de soltera Dickhoff) y los cuatro hijos de Moses Huberman. [5] Obtuvo su licenciatura en matemáticas con especialización en física en la Universidad de California, Berkeley en 1961. En sus clases tenía otra compañera de clase, el resto eran hombres. [6] Después de graduarse, aplicó a 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 en lugar de estudiar se mudó a Boston y comenzó a trabajar en Mitre Corporation . Fue allí donde se interesó por las computadoras y la programación. Trabajó en Mitre durante un año antes de aceptar un trabajo de programación en Harvard, donde trabajó 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 1968 se convirtió en una de las primeras mujeres en los Estados Unidos en recibir un doctorado de un departamento de ciencias de la computación cuando obtuvo su título de la Universidad de Stanford . [8] [9] En Stanford trabajó con John McCarthy y recibió apoyo para trabajar en inteligencia artificial . [7] El tema de su doctorado. tesis era un programa informático para jugar finales de ajedrez [10] para el que desarrolló la importante heurística asesina .
Carrera profesional
Después de graduarse de Stanford, Liskov regresó a Mitre para trabajar como personal investigador. [2]
Liskov ha dirigido muchos proyectos importantes, incluido el sistema operativo Venus, un sistema de tiempo compartido interactivo, pequeño y de bajo costo; el diseño e implementación de CLU ; Argus , el primer lenguaje de alto nivel para apoyar 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] Formó parte del jurado inaugural de Ingeniería y Ciencias de la Computación del Premio Infosys en 2009. [11]
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 de Maquinaria de Computación (ACM). En 2002, fue reconocida como una de las principales mujeres miembros de la facultad en el MIT, y entre los 50 mejores miembros de la facultad de ciencias en los EE . UU. [12] En 2002, la revista Discover reconoció a Liskov como una de las 50 mujeres más importantes en ciencias. . [13]
En 2004, Barbara Liskov ganó la medalla John von Neumann por "contribuciones fundamentales a lenguajes de programación, metodología de programación y sistemas distribuidos". [14] El 19 de noviembre de 2005, Barbara Liskov y Donald E. Knuth recibieron Doctorados Honoris Causa de la ETH . [15] Liskov y Knuth también participaron en la Serie de Coloquios Distinguidos de ETH Zurich. [16] Obtuvo un Doctorado Honoris Causa por la Universidad de Lugano en 2011 [17] y por la Universidad Politécnica de Madrid en 2018. [18]
Liskov recibió el premio Turing 2008 de la ACM, en marzo de 2009, [19] 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 . [20] Específicamente, Liskov desarrolló dos lenguajes de programación, CLU [21] en la década de 1970 y Argus [22] en la década de 1980. [20] El 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 , tolerancia a fallas y computación distribuida ". [23] En 2012 fue incluida en el Salón de la Fama de los Inventores Nacionales . [24]
Barbara Liskov es autora de tres libros y más de cien artículos técnicos.
Vida personal
En 1970 se casó con Nathan Liskov. [7]
Ver también
- Lista de pioneros en informática
- Mujeres en informática
- Cronología de las mujeres en la ciencia
Referencias
- ^ Barbara Liskov en el Proyecto de genealogía matemática
- ^ a b Barbara Liskov - Ganadora del premio AM Turing
- ^ a b Barbara Liskov , Grupo de metodología de programación, MIT.
- ^ Karagianis, Liz (otoño de 2009). "Premio Mayor" . MIT Spectrum . Consultado el 10 de julio de 2016 .
- ^ "Jane Siegel: obituario" . San Francisco Chronicle (a través de Legacy.com) . 24 de enero de 2010 . Consultado el 18 de noviembre de 2014 .
- ^ D'Agostino, Susan. "El arquitecto de algoritmos modernos" . Revista Quanta . Consultado el 21 de octubre de 2020 .
- ^ a b c d 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 .
- ^ "Barbara Liskov" . EngineerGirl . Consultado el 6 de septiembre de 2007 . Perfil de las Academias Nacionales de Ingeniería.
- ^ "Doctorado en Ciencias de la Computación de 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 UW-Madison.
- ^ Huberman (Liskov), Barbara Jane (1968). Un programa para jugar partidas finales de ajedrez (PDF) (Informe). Informe técnico CS 106, Memorando del proyecto de inteligencia artificial de Stanford AI-65. Departamento de Ciencias de la Computación de la Universidad de Stanford.
- ^ "Premio Infosys - Jurado 2009" . Fundación de Ciencias Infosys . Consultado el 1 de marzo de 2021 .
- ^ "Siete magníficos del MIT: miembros de la facultad mujeres citados como científicos superiores" . Oficina de noticias del MIT . Cambridge, MA. 5 de noviembre de 2002 . Consultado el 29 de octubre de 2012 .
- ^ Svitil, Kathy (13 de noviembre de 2002). "Las 50 mujeres más importantes de la ciencia" . Descubrir . Consultado el 1 de mayo de 2019 .
- ^ Destinatarios de la medalla IEEE John von Neumann del sitio web de IEEE
- ^ "Doctores honorarios" . Zurich: 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.
- ^ "Conferencistas distinguidos Barbara Liskov y Donald E. Knuth" . Zurich: ETH Informática. Enero de 2006. Archivado desde el original el 8 de enero de 2013 . Consultado el 29 de octubre de 2012 .
- ^ "Doctorados Honoris Causa de la USI" . USI . Consultado el 16 de mayo de 2021 .
- ^ elEconomista.es. "Barbara Liskov, nueva doctora honoris causa por la UPM - elEconomista.es" (en español) . Consultado el 11 de junio de 2018 .
- ^ Weisman, Robert (10 de marzo de 2009). "El primer premio en informática es para el profesor del MIT" . El Boston Globe .
- ^ a b Barbara Liskov gana el premio Turing | 10 de marzo de 2009 del sitio web del Dr. Dobb's Journal.
- ^ 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 .
- ^ Liskov, B. (marzo de 1988). "Programación distribuida en Argus". Comm. ACM . 31 (3): 300–312. doi : 10.1145 / 42392.42399 . S2CID 16233001 .
- ^ "ACM nombra a Barbara Liskov receptora 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 .
- ^ "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 .
enlaces externos
- Página de inicio del profesor Liskov
- Grupo de Metodología de Programación
- Comunicado de prensa del premio Turing
- Entrevista en la revista Quanta
- Tom Van Vleck , Barbara Liskov , ganadora del premio AM Turing
- Entrevista "Science Friday" de la Radio Pública Nacional con Barbara Liskov, emitida originalmente el 13 de marzo de 2009
- Celebrando Mujeres de Distinción, Barbara Liskov, entrevista por el Premio Turing , Stephen Ibaraki
- "Barbara Liskov: una entrevista realizada por William Aspray, IEEE History Center, 6 de agosto de 1991" . GHN: Red de historia global de IEEE . Consultado el 29 de noviembre de 2013 .
- John V. Guttag , Barbara Liskov , The Electron and The Bit: EECS en MIT, 1902-2002 , Capítulo VII: "Mujeres pioneras en EECS", págs. 225-239, 2003, Departamento de Ingeniería Eléctrica y Ciencias de la Computación, MIT
- Barbara Liskov nombrada profesora del Instituto , MIT News, 1 de julio de 2008
- Noticias del departamento: Barbara Liskov nombrada profesora del instituto Archivado el 5 de noviembre de 2016 en Wayback Machine , Boletín de EECS, otoño de 2008
- Natasha Plotkin, Barbara Liskov nombrada profesora del instituto , The Tech (MIT), 128,29, 9 de julio de 2008
- Robert Weisman, el primer premio en informática es para el profesor del MIT , The Boston Globe , 10 de marzo de 2009
- Erica Naone, Driven to Abstraction , MIT Technology Review , 21 de diciembre de 2009
- Barbara Liskov Archivado el 12 de julio de 2018 en la Wayback Machine en la wiki de programación de Chess
