Diferencia entre revisiones de «Bárbara Liskov»
(→Estudios realizados) |
|||
| (No se muestran 27 ediciones intermedias de 4 usuarios) | |||
| Línea 1: | Línea 1: | ||
| − | + | {{ infobox | |
| + | | title = Bárbara Liskov. | ||
| + | | label1 = Área | ||
| + | | data1 = Profesora, informática, matemática. | ||
| + | | label2 = Nacionalidad | ||
| + | | data2 = Estadounidense. | ||
| + | | label3 = Lugar De Nacimiento | ||
| + | | data3 = Los Angeles, California. | ||
| + | | label4 = Nombre | ||
| + | | data4 = Bárbara Liskov | ||
| + | | label5 = Premio | ||
| + | | data5 = Medalla john Von Newmann (2004) premio Turing (2008) | ||
| + | | label6 = | ||
| + | | data6 = | ||
| + | | label7 = Fecha De Nacimiento | ||
| + | | data7 = | ||
| + | | label8 = Educación | ||
| + | | data8 = Ingienería informatica, ciencias de la computación en el MIT (1961) matemáticas (1968) | ||
| + | | label9 = Ocupaciones | ||
| + | | data9 = Profesora en la Universidad del MIT | ||
| + | | image = {{sized-external-image|180px|http://www.upc.edu/saladepremsa/al-dia/mes-noticies/el-28-de-setembre-s2019inaugura-el-curs-academic-2012-2013-a-la-upc/Barbara-Liskov-web.jpg}} | ||
| + | }} | ||
---- | ---- | ||
---- | ---- | ||
== Biografía == | == Biografía == | ||
| − | + | Barbará Jane Huberman nació el 7 de noviembre de 1939 en Estados Unidos. Es una científica de la computación. En la actualidad es profesora en la escuela del MIT ''(Instituto Tecnológico de Massachusetts)'' [http://www.universia.es/estudiar-extranjero/estados-unidos/universidades/massachusetts-institute-of-technology/735/40935]. | |
| − | Es una científica de la computación | + | Es conocida por su trabajo de [[Abstracción de Datos]]. |
| − | Es conocida por su trabajo de [[ | + | 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. |
== Estudios realizados == | == Estudios realizados == | ||
| − | Se graduó en matemáticas en la Universidad de California en 1961 | + | Se graduó en matemáticas en la Universidad de California en 1961. |
| + | |||
| + | Siete años después se convirtió en la primera mujer estadounidense en Doctorarse en Filosofía,y en ciencias de la computación por la '''Universidad de Stanford'''. | ||
| + | |||
| + | Bárbara ha llevado acabo muchos proyectos importantes, incluyendo ''el Sistema Operativo Venus'', un sistema pequeño, de bajo coste y de tiempo compartido interactivo, el diseño y la realización de ''CLU , Argus'' , el primer lenguaje de alto nivel para apoyar la realización de los programas distribuidos y para demostrar la técnica de prometer la canalización y ''Thor'', un sistema de base de datos orientado a objetos. Con '''Jeannette Wing''', desarrolló una definición particular de subtipos, comúnmente conocido como ''el Principio de sustitución Liskov.'' | ||
| + | |||
| + | Dirige el Grupo de Metodología de la programación en el ''MIT'', con un enfoque de la investigación actual en la tolerancia a fallos bizantinos y la computación distribuida. | ||
== Publicaciones == | == Publicaciones == | ||
Barbara es más de cien artículos técnicos y la autora de estos tres libros: | Barbara es más de cien artículos técnicos y la autora de estos tres libros: | ||
| − | Abstraction and Specification in Program Development (Mh-Mit Series). 1986. | + | ''Abstraction and Specification in Program Development (Mh-Mit Series). 1986.'' |
| − | Program Development in Java: Abstraction, Specification and Object-oriented Design. 2000. | + | ''Program Development in Java: Abstraction, Specification and Object-oriented Design. 2000.'' |
| − | The Dawn of Software Engineering: from Turing to Dijkstra. 2012. | + | ''The Dawn of Software Engineering: from Turing to Dijkstra. 2012.'' |
== Premios == | == Premios == | ||
| − | En 2004, Barbara Liskov ganó la Medalla John von Neumann "contribuciones fundamentales a los lenguajes de programación, metodología de programación, y sistemas distribuidos". | + | En 2004, Barbara Liskov ganó la '''Medalla John von Neumann''' "contribuciones fundamentales a los lenguajes de programación, metodología de programación, y sistemas distribuidos". |
| − | El 19 de noviembre de 2005, Barbara Liskov y Donald E. Knuth fueron premiados con doctorados honorarios de ETH. Liskov y Knuth también se destacaron en | + | El 19 de noviembre de 2005, Barbara Liskov y Donald E. Knuth fueron '''premiados con doctorados honorarios de ETH.''' Liskov y Knuth también se destacaron en él '''Coloquio Distinguido ETH Zurich.''' |
| − | Liskov recibió el 2008 Premio Turing de la ACM. | + | Liskov recibió el 2008 '''Premio Turing de la ACM.''' |
== Fuentes == | == Fuentes == | ||
http://ethw.org/Barbara_H._Liskov | http://ethw.org/Barbara_H._Liskov | ||
https://en.wikipedia.org/wiki/Barbara_Liskov#Personal_life | https://en.wikipedia.org/wiki/Barbara_Liskov#Personal_life | ||
http://www.csail.mit.edu/user/971 | http://www.csail.mit.edu/user/971 | ||
Revisión actual del 19:15 29 abr 2017
 | |
| Área | Profesora, informática, matemática. |
|---|---|
| Nacionalidad | Estadounidense. |
| Lugar De Nacimiento | Los Angeles, California. |
| Nombre | Bárbara Liskov |
| Premio | Medalla john Von Newmann (2004) premio Turing (2008) |
| Educación | Ingienería informatica, ciencias de la computación en el MIT (1961) matemáticas (1968) |
| Ocupaciones | Profesora en la Universidad del MIT |
Biografía
Barbará Jane Huberman nació el 7 de noviembre de 1939 en Estados Unidos. Es una científica de la computación. En la actualidad es profesora en la escuela del MIT (Instituto Tecnológico de Massachusetts) [1]. Es conocida por su trabajo de Abstracción de Datos. 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.
Estudios realizados
Se graduó en matemáticas en la Universidad de California en 1961.
Siete años después se convirtió en la primera mujer estadounidense en Doctorarse en Filosofía,y en ciencias de la computación por la Universidad de Stanford.
Bárbara ha llevado acabo muchos proyectos importantes, incluyendo el Sistema Operativo Venus, un sistema pequeño, de bajo coste y de tiempo compartido interactivo, el diseño y la realización de CLU , Argus , el primer lenguaje de alto nivel para apoyar la realización de los programas distribuidos y para demostrar la técnica de prometer la canalización y Thor, un sistema de base de datos orientado a objetos. Con Jeannette Wing, desarrolló una definición particular de subtipos, comúnmente conocido como el Principio de sustitución Liskov.
Dirige el Grupo de Metodología de la programación en el MIT, con un enfoque de la investigación actual en la tolerancia a fallos bizantinos y la computación distribuida.
Publicaciones
Barbara es más de cien artículos técnicos y la autora de estos tres libros:
Abstraction and Specification in Program Development (Mh-Mit Series). 1986.
Program Development in Java: Abstraction, Specification and Object-oriented Design. 2000.
The Dawn of Software Engineering: from Turing to Dijkstra. 2012.
Premios
En 2004, Barbara Liskov ganó la Medalla John von Neumann "contribuciones fundamentales a los lenguajes de programación, metodología de programación, y sistemas distribuidos".
El 19 de noviembre de 2005, Barbara Liskov y Donald E. Knuth fueron premiados con doctorados honorarios de ETH. Liskov y Knuth también se destacaron en él Coloquio Distinguido ETH Zurich.
Liskov recibió el 2008 Premio Turing de la ACM.
Fuentes
http://ethw.org/Barbara_H._Liskov https://en.wikipedia.org/wiki/Barbara_Liskov#Personal_life http://www.csail.mit.edu/user/971
