Ir al contenido

Diferencia entre revisiones de «Barbara Liskov»

De Wikipedia, la enciclopedia libre
Contenido eliminado Contenido añadido
Marinna (discusión · contribs.)
Sin resumen de edición
Semibot (discusión · contribs.)
m Bot: retirando enlaces a fechas
Línea 4: Línea 4:
| descripción = Barbara Liskov en 2009.
| descripción = Barbara Liskov en 2009.
| nombre de nacimiento = Barbara Jane Huberman
| nombre de nacimiento = Barbara Jane Huberman
| fecha de nacimiento = {{fecha|7|11|1939|edad|link=sí}}
| fecha de nacimiento = {{fecha|7|11|1939|edad}}
| lugar de nacimiento ={{bandera|USA}} [[Los Ángeles]], [[Estados Unidos]]
| lugar de nacimiento ={{bandera|USA}} [[Los Ángeles]], [[Estados Unidos]]
| fecha de fallecimiento =
| fecha de fallecimiento =
Línea 16: Línea 16:
}}
}}


'''Barbara Jane Huberman''' ([[Los Ángeles]], [[California]], [[7 de noviembre]] de [[1939]]), conocida como '''Barbara Liskov''' o '''Barbara Jane Liskov''', es una prominente científica de la [[computación]] [[estadounidense]].<ref>{{Cita web|url=https://www.csail.mit.edu/person/barbara-liskov|título=Barbara Liskov {{!}} MIT CSAIL|fechaacceso=11 de octubre de 2019|sitioweb=www.csail.mit.edu}}</ref><ref>{{Cita web|url=https://mujeresconciencia.com/2017/11/07/barbara-liskov-especialista-ciencias-la-computacion/|título=Barbara Liskov, especialista en ciencias de la computación {{!}} Efemérides|fechaacceso=11 de octubre de 2019|fecha=7 de noviembre de 2017|sitioweb=Mujeres con ciencia|idioma=es}}</ref>
'''Barbara Jane Huberman''' ([[Los Ángeles]], [[California]], 7 de noviembre de 1939), conocida como '''Barbara Liskov''' o '''Barbara Jane Liskov''', es una prominente científica de la [[computación]] [[estadounidense]].<ref>{{Cita web|url=https://www.csail.mit.edu/person/barbara-liskov|título=Barbara Liskov {{!}} MIT CSAIL|fechaacceso=11 de octubre de 2019|sitioweb=www.csail.mit.edu}}</ref><ref>{{Cita web|url=https://mujeresconciencia.com/2017/11/07/barbara-liskov-especialista-ciencias-la-computacion/|título=Barbara Liskov, especialista en ciencias de la computación {{!}} Efemérides|fechaacceso=11 de octubre de 2019|fecha=7 de noviembre de 2017|sitioweb=Mujeres con ciencia|idioma=es}}</ref>


== Biografía ==
== Biografía ==
Actualmente está trabajando en el departamento de [[ingeniería eléctrica]] y [[ciencias de la computación]] del [[MIT]], como profesora de ingeniería de [[Ford]]. Consiguió su graduación en [[matemáticas]] en la [[Universidad de California, Berkeley]], en [[1961]], y años más tarde, en [[1968]], se convirtió en una de las primeras mujeres de los [[Estados Unidos]] en conseguir un doctorado ([[PhD|Doctor Philosophiae]]) en ciencias de la computación, en la [[Universidad de Stanford]].<ref>{{Cita web|url=https://www.britannica.com/biography/Barbara-Jane-Liskov|título=Barbara Jane Liskov {{!}} American computer scientist|fechaacceso=11 de octubre de 2019|sitioweb=Encyclopedia Britannica|idioma=en}}</ref>
Actualmente está trabajando en el departamento de [[ingeniería eléctrica]] y [[ciencias de la computación]] del [[MIT]], como profesora de ingeniería de [[Ford]]. Consiguió su graduación en [[matemáticas]] en la [[Universidad de California, Berkeley]], en 1961, y años más tarde, en 1968, se convirtió en una de las primeras mujeres de los [[Estados Unidos]] en conseguir un doctorado ([[PhD|Doctor Philosophiae]]) en ciencias de la computación, en la [[Universidad de Stanford]].<ref>{{Cita web|url=https://www.britannica.com/biography/Barbara-Jane-Liskov|título=Barbara Jane Liskov {{!}} American computer scientist|fechaacceso=11 de octubre de 2019|sitioweb=Encyclopedia Britannica|idioma=en}}</ref>


En 1970, se casó con Nathan Liskov, y su hijo, Moses Liskov, nació en 1975.<ref>{{Cita web|url=https://scientificwomen.net/women/liskov-barbara-106|título=Barbara&nbsp;LISKOV|fechaacceso=11 de octubre de 2019|sitioweb=scientificwomen.net}}</ref>
En 1970, se casó con Nathan Liskov, y su hijo, Moses Liskov, nació en 1975.<ref>{{Cita web|url=https://scientificwomen.net/women/liskov-barbara-106|título=Barbara&nbsp;LISKOV|fechaacceso=11 de octubre de 2019|sitioweb=scientificwomen.net}}</ref>
Línea 39: Línea 39:
{{listaref|2}}
{{listaref|2}}


{{Sucesión |predecesor=[[Edmund Clarke]], [[E. Allen Emerson]], [[Joseph Sifakis]]|título = [[Premio Turing]]|período = [[2008]]|sucesor =[[Charles Thacker]]}}
{{Sucesión |predecesor=[[Edmund Clarke]], [[E. Allen Emerson]], [[Joseph Sifakis]]|título = [[Premio Turing]]|período = 2008|sucesor =[[Charles Thacker]]}}


{{NF|1939||Liskov, Barbara}}
{{NF|1939||Liskov, Barbara}}

Revisión del 18:10 26 dic 2023

Barbara Liskov

Barbara Liskov en 2009.
Información personal
Nombre de nacimiento Barbara Jane Huberman
Nacimiento 7 de noviembre de 1939 (85 años)
Bandera de Estados Unidos Los Ángeles, Estados Unidos
Nacionalidad estadounidense
Familia
Cónyuge Nathan Liskov
Educación
Educación doctorado Ver y modificar los datos en Wikidata
Educada en
Supervisor doctoral John McCarthy Ver y modificar los datos en Wikidata
Alumna de John McCarthy Ver y modificar los datos en Wikidata
Información profesional
Ocupación informática, matemática, profesora
Empleador Instituto Tecnológico de Massachusetts Ver y modificar los datos en Wikidata
Estudiantes doctorales Maurice Herlihy Ver y modificar los datos en Wikidata
Obras notables computación distribuida Ver y modificar los datos en Wikidata
Miembro de
Sitio web
Distinciones Premio Turing 2008
Medalla John von Neumann 2004

Barbara Jane Huberman (Los Ángeles, California, 7 de noviembre de 1939), conocida como Barbara Liskov o Barbara Jane Liskov, es una prominente científica de la computación estadounidense.[1][2]

Biografía

Actualmente está trabajando en el departamento de ingeniería eléctrica y ciencias de la computación del MIT, como profesora de ingeniería de Ford. Consiguió su graduación en matemáticas en la Universidad de California, Berkeley, en 1961, y años más tarde, en 1968, se convirtió en una de las primeras mujeres de los Estados Unidos en conseguir un doctorado (Doctor Philosophiae) en ciencias de la computación, en la Universidad de Stanford.[3]

En 1970, se casó con Nathan Liskov, y su hijo, Moses Liskov, nació en 1975.[4]

Barbara Liskov ha dirigido varios proyectos significativos, como el diseño e implementación del lenguaje de programación CLU, el primer lenguaje de programación que soportaba la abstracción de datos; Argus, que fue el primer lenguaje de alto nivel en soportar la implementación de programas distribuidos, y Thor, un sistema de base de datos orientado a objetos. Junto con Jeannette Wing, desarrolló una particular definición de subtipo, comúnmente conocido como el principio de sustitución de Liskov.[5]

Además, Liskov es autora de tres libros y cientos de informes técnicos.[6]

Reconocimientos

La profesora Liskov pertenece a la Academia Nacional de Ingeniería (National Academy of Engineering, en inglés) de los Estados Unidos.

En 2004 ganó la Medalla John von Neumann por "su fundamental contribución a los lenguajes de programación, metodologías de programación y sistemas distribuidos".[7]

En 2008 ganó el premio Turing por "su contribución a los fundamentos teóricos y prácticos en el diseño de lenguajes de programación y sistemas, especialmente relacionados con la abstracción de datos, tolerancia a fallos y computación distribuida".[8]

En 2018 se la nombró doctora honoris causa por la UPM.[9]

Referencias

  1. «Barbara Liskov | MIT CSAIL». www.csail.mit.edu. Consultado el 11 de octubre de 2019. 
  2. «Barbara Liskov, especialista en ciencias de la computación | Efemérides». Mujeres con ciencia. 7 de noviembre de 2017. Consultado el 11 de octubre de 2019. 
  3. «Barbara Jane Liskov | American computer scientist». Encyclopedia Britannica (en inglés). Consultado el 11 de octubre de 2019. 
  4. «Barbara LISKOV». scientificwomen.net. Consultado el 11 de octubre de 2019. 
  5. «Inductee Barbara Liskov Invented Computer Programming Languages». www.invent.org (en inglés). Consultado el 11 de octubre de 2019. 
  6. «Conferencia de Bárbara Liskov, Premio Turing 2008». www.unocero.com. 17 de febrero de 2015. Consultado el 11 de octubre de 2019. 
  7. «Barbara Liskov | IEEE Computer Society» (en inglés estadounidense). Consultado el 11 de octubre de 2019. 
  8. «Barbara Liskov - A.M. Turing Award Laureate». amturing.acm.org. Consultado el 11 de octubre de 2019. 
  9. [1]


Predecesor:
Edmund Clarke, E. Allen Emerson, Joseph Sifakis
Premio Turing
2008
Sucesor:
Charles Thacker