Diferencia entre revisiones de «Barbara Liskov»
m Bot - Cambiando parámetros en fichas de personas |
→Biografía: honoris causa Etiquetas: Edición desde móvil Edición vía aplic. móvil |
||
| Línea 25: | Línea 25: | ||
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]]. |
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]]. |
||
| ⚫ | |||
| ⚫ | |||
== Reconocimientos == |
|||
La profesora Liskov es miembro de la Academia Nacional de Ingeniería (''National Academy of Engineering'') de los [[Estados Unidos]]. |
|||
| ⚫ | |||
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 [[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 es nombrada [[doctor 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]]}} |
{{Sucesión |predecesor=[[Edmund Clarke]], [[E. Allen Emerson]], [[Joseph Sifakis]]|título = [[Premio Turing]]|período = [[2008]]|sucesor =[[Charles Thacker]]}} |
||
Revisión del 07:10 11 jun 2018
| Barbara Liskov | ||
|---|---|---|
 Barbara en 2009. | ||
| Información personal | ||
| Nombre de nacimiento | Barbara Jane Huberman | |
| Nacimiento |
7 de noviembre de 1939 85 años Estados Unidos | |
| Nacionalidad | estadounidense | |
| Educación | ||
| Educación | doctorado | |
| Educada en | ||
| Supervisor doctoral | John McCarthy | |
| Alumna de | John McCarthy | |
| Información profesional | ||
| Ocupación | informática, matemática, profesora | |
| Empleador | Instituto Tecnológico de Massachusetts | |
| Estudiantes doctorales | Maurice Herlihy | |
| Obras notables | computación distribuida | |
| Miembro de | ||
| Sitio web | ||
| Distinciones |
Premio Turing 2008 Medalla John von Neumann 2004 | |
Barbara Jane Huberman (nacida el 7 de noviembre de 1939) es una prominente científica de la computación estadounidense.
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 la primera mujer de los Estados Unidos en conseguir un Doctor Philosophiae en Ciencias de la 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 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.
Además, Liskov es autora de 3 libros y cientos de informes técnicos.
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".
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 es nombrada doctor honoris causa por la UPM[1].
| Predecesor: Edmund Clarke, E. Allen Emerson, Joseph Sifakis |
Premio Turing 2008 |
Sucesor: Charles Thacker |
| Control de autoridades |
|
|---|
Datos: Q16080922
Multimedia: Barbara Jane Liskov / Q16080922