Revisión del 07:10 11 jun 2018 editar El Pantera (discusión · contribs.) Autoverificados 14 362 ediciones →‎Biografía: honoris causa Etiquetas: Edición desde móvil Edición vía aplic. móvil ← Ir a diferencia anterior		Revisión del 11:42 11 jun 2018 editar deshacer Loren2000 (discusión · contribs.) 528 ediciones m →‎Biografía: Las disciplinas académicas se escriben con minúscula Etiqueta: Edición visual Ir a siguiente diferencia →
Línea 19: ==Biografía== Actualmente está trabajando en el departamento de [[Ingeniería eléctrica\|Ingeniería Eléctrica]] y [[Ciencias de la computación\|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 la primera mujer de los [[Estados Unidos]] en conseguir un doctorado ([[PhD\|Doctor Philosophiae]]) en Ciencias de la ~~computación~~Computación por la [[Universidad de Stanford]]. En 1970, se casó con Nathan Liskov, y su hijo, Moses Liskov, nació en 1975. Barbara Liskov ha dirigido varios proyectos significativos, como el diseño e implementación del [[CLU\|lenguaje de programación CLU]], el primer [[lenguaje de programación]] que soportaba la abstracción de datos,; [[Argus (lenguaje de programación)\|Argus]], que fue el primer lenguaje de alto nivel en soportar la implementación de programas [[Computación distribuida\|distribuidos]]; y [[Thor (base de datos)\|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]]. Además, Liskov es autora de 3 libros y cientos de informes técnicos. Línea 30: == Reconocimientos == La profesora Liskov es miembro de la [[Academia Nacional de Ingeniería]] (''National Academy of Engineering'') 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''". Línea 36: 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''". En 2018 esse ~~nombrada~~la nombró [[doctor honoris causa\|doctora honoris causa]] por la [[UPM]]<ref>[http://coddii.org/la-upm-inviste-doctora-honoris-causa-a-barbara-liskov-pionera-a-nivel-mundial-en-la-investigacion-en-informatica]</ref>. {{Sucesión \|predecesor=[[Edmund Clarke]], [[E. Allen Emerson]], [[Joseph Sifakis]]\|título = [[Premio Turing]]\|período = [[2008]]\|sucesor =[[Charles Thacker]]}}

Diferencia entre revisiones de «Barbara Liskov»