Diferencia entre revisiones de «Liskov,Barbara»

De WIAragón
Saltar a: navegación, buscar
Línea 5: Línea 5:
 
| label1 = Nombre  
 
| label1 = Nombre  
 
| data1 = Barbara Jane Huberman Liskov
 
| data1 = Barbara Jane Huberman Liskov
| label2 = Campo
+
| label2 = Campo de Estudio
 
| data2 = Sistemas y Redes
 
| data2 = Sistemas y Redes
 
| label3 = Nacionalidad
 
| label3 = Nacionalidad
Línea 13: Línea 13:
 
| label5 = Alma mater
 
| label5 = Alma mater
 
| data5 = Universidad de Stanford
 
| data5 = Universidad de Stanford
| label6 = Página de referencia
+
| label6 = Página de referencias
 
| data6 = http://www.pmg.csail.mit.edu/~liskov/
 
| data6 = http://www.pmg.csail.mit.edu/~liskov/
 
| label7 = Fecha De Nacimiento
 
| label7 = Fecha De Nacimiento
 
| data7 = 7 de Noviembre de 1939 (77 años)
 
| data7 = 7 de Noviembre de 1939 (77 años)
| label9 = Educación
+
| label9 = Profesión
| data9 = Universidad Stanford (1968), Universidad de California en Berkeley (1961)
+
| data9 = Profesora de universidad
| label10 = Profesión
+
|label10 = Lugar de trabajo
| data10 = Profesora de universidad
+
|data10 = Instituto Tecnológico de Massachusetts
|label11 = Lugar de trabajo
+
|data11 = Instituto Tecnológico de Massachusetts
+
 
| image = {{sized-external-image|150px|http://www.pmg.csail.mit.edu/~liskov/images/LISKOV_crop2.jpg}}
 
| image = {{sized-external-image|150px|http://www.pmg.csail.mit.edu/~liskov/images/LISKOV_crop2.jpg}}
 
}}
 
}}
Línea 28: Línea 26:
 
'''Barbara Liskov'''  
 
'''Barbara Liskov'''  
  
Actualmente, ejerce como profesora de ciencias de la computación en el '''Massachusetts Institute of Technology''' (MIT). Su investigación y enseñanza se centran en como '''mejorar el software''' que se ha convertido en una parte esencial de muchas cosas que hacemos por lo que es importante que se comporte como se espera con sin que se produzcan acciones inesperadas.
+
Actualmente, ejerce como profesora de ciencias de la computación en el '''Massachusetts Institute of Technology''' (MIT). Su investigación y enseñanza se centran en como '''mejorar el software''' que se ha convertido en una parte esencial de muchas cosas que hacemos por lo que es importante que se comporte como se espera sin que se produzcan acciones inesperadas.
Para ello estudia técnicas que conducen a que los programas funcionen correctamente y hacer lo que se supone que deben hacer y también trabaja la '''computación distribuida''', es decir, aquellos programas que dependen de redes de comunicaciones(Internet y la World Wide Web).
+
Para ello estudia técnicas que conducen a que los programas funcionen correctamente y hacer lo que se supone que deben hacer y también trabaja la '''computación distribuida''', es decir, aquellos programas que dependen de redes de comunicaciones(como Internet y la World Wide Web).
  
 
== '''Biografía''' ==
 
== '''Biografía''' ==
  
Nacida el '''7 de noviembre de 1939''', estudió en la '''Universidad de California en Berkeley''', donde se especializó en matemáticas. Cuando se graduó comenzó a trabajar en el campo de la informática durante dos años en los que ejerció como programadora. Poco después volvió a la escuela para los estudios de postgrado, en la '''Universidad de Stanford'''. Allí durante 1963, la informática todavía estaba comenzando y no había un departamento que se encargase de estudiarla. Dicho departamento se formó mientras por esa época en la que Liskov era estudiante. Hizo su investigación de postgrado en '''inteligencia artificial''' y su tesis se basaba en un programa para jugar al ajedrez. Cuando terminó su doctorado, en 1968, volvió a trabajar en la industria. Una de las ventajas de trabajar en la industria era que proporcionaba un buen ambiente para cambiar de campo de investigación, de inteligencia artificial que era en lo que había trabajado a '''sistemas de software''', que son sido su principal área de trabajo desde entonces. Trabajó en la industria durante cuatro años y luego se trasladó al '''MIT'''.  
+
Nacida el '''7 de noviembre de 1939''', estudió en la '''Universidad de California en Berkeley''', donde se especializó en matemáticas. Cuando se graduó comenzó a trabajar en el campo de la informática durante dos años en los que ejerció como programadora. Poco después volvió a la escuela para los estudios de postgrado, en la '''Universidad de Stanford'''. Allí durante 1963, la informática todavía estaba comenzando y no había un departamento que se encargase de estudiarla. Dicho departamento se formó mientras por esa época en la que Liskov era estudiante. Hizo su investigación de postgrado en '''inteligencia artificial''' y su tesis fue '''Un Programa para Jugar al Ajedrez'''. Cuando terminó su doctorado, en 1968, volvió a trabajar en la industria. Una de las ventajas de trabajar en la industria era que proporcionaba un buen ambiente para cambiar de campo de investigación, de inteligencia artificial que era en lo que había trabajado a '''sistemas de software''', que son sido su principal área de trabajo desde entonces. Trabajó en la industria durante cuatro años y luego se trasladó al '''MIT'''.  
  
 
El apoyo de sus padres sirvió de estímulo para sobresalir académicamente. Nunca le dijeron que ciertas cosas no debían ser hechas por mujeres (normalmente tendría que enseñar o ser secretaria si no se casaba o algo le sucedía a su marido). Esto le permitió seguir su interés en las matemáticas y la ciencia en lugar de tomar una dirección más convencional. Cuando Liskov era joven, era raro que las mujeres pensaran en tener una carrera. Esto causó que sólo se centrase en su trabajo porque se esperaba que lo dejase al tener una familia (situación debida a la situación de la mujer en aquella época). Sin embargo, terminó tan comprometida con su trabajo que a pesar de tener una familia continuó. Su consejo para las mujeres que están pensando en una carrera en ingeniería es averiguar lo que les interese y estar preparadas para cambiar sus metas si eso resulta no ser la elección correcta.
 
El apoyo de sus padres sirvió de estímulo para sobresalir académicamente. Nunca le dijeron que ciertas cosas no debían ser hechas por mujeres (normalmente tendría que enseñar o ser secretaria si no se casaba o algo le sucedía a su marido). Esto le permitió seguir su interés en las matemáticas y la ciencia en lugar de tomar una dirección más convencional. Cuando Liskov era joven, era raro que las mujeres pensaran en tener una carrera. Esto causó que sólo se centrase en su trabajo porque se esperaba que lo dejase al tener una familia (situación debida a la situación de la mujer en aquella época). Sin embargo, terminó tan comprometida con su trabajo que a pesar de tener una familia continuó. Su consejo para las mujeres que están pensando en una carrera en ingeniería es averiguar lo que les interese y estar preparadas para cambiar sus metas si eso resulta no ser la elección correcta.
  
 
+
Una entrevista sobre su vida:[http://ethw.org/Oral-History:Barbara_Liskov_(2001)]
 
+
 
+
 
+
Para más información: https://youtu.be/oLuvDdH-xo8
+
  
 
== '''Premios''' ==
 
== '''Premios''' ==
 
National Academy of Engineering: Member (1989)
 
[http://www.csail.mit.edu/csailawards]
 
 
American Academy of Arts and Sciences: Fellow (1992)
 
[http://www.csail.mit.edu/csailawards]
 
 
Association for Computing Machinery: Fellow (1996)
 
[http://www.csail.mit.edu/csailawards]
 
  
 
Society of Women Engineers: Achievement Award (1996)
 
Society of Women Engineers: Achievement Award (1996)
[http://www.csail.mit.edu/csailawards]
+
[http://societyofwomenengineers.swe.org/news-archive/154-awards/657-past-award-recipients-achievement]
  
 
Institute of Electrical and Electronics Engineers: John von Neumann Medal (2004)
 
Institute of Electrical and Electronics Engineers: John von Neumann Medal (2004)
[http://www.csail.mit.edu/csailawards]
+
[https://www.ieee.org/about/awards/bios/vonneumann_recipients.html]
 
+
ETH Zurich: Honorary doctorate (2005)
+
[http://www.csail.mit.edu/csailawards]
+
  
 
Association for Computing Machinery: Impact Paper Award (2007)
 
Association for Computing Machinery: Impact Paper Award (2007)
[http://www.csail.mit.edu/csailawards]
+
[http://www.acm.org/]
 
+
ACM Special Interest Group on Programming Languages: Lifetime Achievement Award (2008)
+
[http://www.csail.mit.edu/csailawards]
+
  
 
Association for Computing Machinery: A.M. Turing Award (2009)
 
Association for Computing Machinery: A.M. Turing Award (2009)
[http://www.csail.mit.edu/csailawards]
+
[http://amturing.acm.org/award_winners/liskov_1108679.cfm]
 
+
Brown University: Honorary Doctorate (2010)
+
[http://www.csail.mit.edu/csailawards]
+
 
+
University of Lugano: Honorary Doctorate (2011)
+
[http://www.csail.mit.edu/csailawards]
+
  
 
CMU and Tokyo University of Technology: Katayanagi Award for Research Excellence (2011)
 
CMU and Tokyo University of Technology: Katayanagi Award for Research Excellence (2011)
[http://www.csail.mit.edu/csailawards]
+
[http://www.cs.cmu.edu/~katayanagi/archive2011.html]
 
+
Northwestern University, Chicago: Honorary Doctorate (2011)
+
[http://www.csail.mit.edu/csailawards]
+
 
+
National Inventors Hall of Fame: Inductee into National Inventor's Hall of Fame (2012)
+
[http://www.csail.mit.edu/csailawards]
+
 
+
Invent Now: Inductee into National Inventor's Hall of Fame (2012)
+
[http://www.csail.mit.edu/csailawards]
+
 
+
Technical University of Catalonia: Honorary Doctorate (2012)
+
[http://www.csail.mit.edu/csailawards]
+
  
 
Association for Computing Machinery: SIGOPS Hall of Fame Award (2012)
 
Association for Computing Machinery: SIGOPS Hall of Fame Award (2012)
[http://www.csail.mit.edu/csailawards]
+
[https://www.sigops.org/award-hof.html]
  
 
University of Pennsylvania: Harold Pender Award (2013)
 
University of Pennsylvania: Harold Pender Award (2013)
Línea 100: Línea 61:
  
 
== '''Publicaciones''' ==
 
== '''Publicaciones''' ==
 +
 +
Tesis: "A Program to Play Chess end Games"
 +
[[http://www.dtic.mil/cgi-bin/GetTRDoc?Location=U2&doc=GetTRDoc.pdf&AD=AD0673971]]
  
 
Liskov, B., "A Decentralized Model for Information Flow Control," Proceedings of the 17th Symposium on Operating Systems Principles, October 1997, 129-147 (with A. Myers)
 
Liskov, B., "A Decentralized Model for Information Flow Control," Proceedings of the 17th Symposium on Operating Systems Principles, October 1997, 129-147 (with A. Myers)

Revisión del 09:11 5 abr 2017


Barbara Liskov
LISKOV_crop2.jpg
Nombre Barbara Jane Huberman Liskov
Campo de Estudio Sistemas y Redes
Nacionalidad Estadounidense
Lugar De Nacimiento California, Estados Unidos
Alma mater Universidad de Stanford
Página de referencias http://www.pmg.csail.mit.edu/~liskov/
Fecha De Nacimiento 7 de Noviembre de 1939 (77 años)
Profesión Profesora de universidad
Lugar de trabajo Instituto Tecnológico de Massachusetts

Barbara Liskov

Actualmente, ejerce como profesora de ciencias de la computación en el Massachusetts Institute of Technology (MIT). Su investigación y enseñanza se centran en como mejorar el software que se ha convertido en una parte esencial de muchas cosas que hacemos por lo que es importante que se comporte como se espera sin que se produzcan acciones inesperadas. Para ello estudia técnicas que conducen a que los programas funcionen correctamente y hacer lo que se supone que deben hacer y también trabaja la computación distribuida, es decir, aquellos programas que dependen de redes de comunicaciones(como Internet y la World Wide Web).

Biografía

Nacida el 7 de noviembre de 1939, estudió en la Universidad de California en Berkeley, donde se especializó en matemáticas. Cuando se graduó comenzó a trabajar en el campo de la informática durante dos años en los que ejerció como programadora. Poco después volvió a la escuela para los estudios de postgrado, en la Universidad de Stanford. Allí durante 1963, la informática todavía estaba comenzando y no había un departamento que se encargase de estudiarla. Dicho departamento se formó mientras por esa época en la que Liskov era estudiante. Hizo su investigación de postgrado en inteligencia artificial y su tesis fue Un Programa para Jugar al Ajedrez. Cuando terminó su doctorado, en 1968, volvió a trabajar en la industria. Una de las ventajas de trabajar en la industria era que proporcionaba un buen ambiente para cambiar de campo de investigación, de inteligencia artificial que era en lo que había trabajado a sistemas de software, que son sido su principal área de trabajo desde entonces. Trabajó en la industria durante cuatro años y luego se trasladó al MIT.

El apoyo de sus padres sirvió de estímulo para sobresalir académicamente. Nunca le dijeron que ciertas cosas no debían ser hechas por mujeres (normalmente tendría que enseñar o ser secretaria si no se casaba o algo le sucedía a su marido). Esto le permitió seguir su interés en las matemáticas y la ciencia en lugar de tomar una dirección más convencional. Cuando Liskov era joven, era raro que las mujeres pensaran en tener una carrera. Esto causó que sólo se centrase en su trabajo porque se esperaba que lo dejase al tener una familia (situación debida a la situación de la mujer en aquella época). Sin embargo, terminó tan comprometida con su trabajo que a pesar de tener una familia continuó. Su consejo para las mujeres que están pensando en una carrera en ingeniería es averiguar lo que les interese y estar preparadas para cambiar sus metas si eso resulta no ser la elección correcta.

Una entrevista sobre su vida:[1]

Premios

Society of Women Engineers: Achievement Award (1996) [2]

Institute of Electrical and Electronics Engineers: John von Neumann Medal (2004) [3]

Association for Computing Machinery: Impact Paper Award (2007) [4]

Association for Computing Machinery: A.M. Turing Award (2009) [5]

CMU and Tokyo University of Technology: Katayanagi Award for Research Excellence (2011) [6]

Association for Computing Machinery: SIGOPS Hall of Fame Award (2012) [7]

University of Pennsylvania: Harold Pender Award (2013) [8]

Publicaciones

Tesis: "A Program to Play Chess end Games" [[9]]

Liskov, B., "A Decentralized Model for Information Flow Control," Proceedings of the 17th Symposium on Operating Systems Principles, October 1997, 129-147 (with A. Myers) [10]

Liskov, B., "Practical Byzantine Fault Tolerance and Proactive Recovery," Transactions on Computer Systems 20(4), November 2002, 398-461 (with M. Castro) [11]

Liskov, B., "BASE: Using Abstraction to Improve Fault Tolerance," ACM Transactions on Computer Systems 21(3), August 2003, 236-269 (with R. Rodrigues and M. Castro) [12]

Path Vector Face Routing: Geographic Routing with Local Face Information. In Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP 2005). Boston, Massachusetts, November 2005. (with B.Leong and S.Mitra). [13]

Tolerating Byzantine Faulty Clients in a Quorum System. In Proceedings of the 26th International Conference on Distributed Computing Systems (ICDCS 2006). Lisbon, Portugal. July 2006. (with R.Rodrigues). [14]

Automatic Software Upgrades for Distributed Systems. In Proceedings of the European Conference on Object-oriented Programming (ECOOP 2006). Nantes, France. July 2006. (with S.Ajmani and L.Shrira). [15]

HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. To appear in Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI 2006). Seattle, Washington, November 2006. (with J.Cowling, D.Myers, R.Rodrigues, and L.Shrira). [16]

Tolerating Byzantine Faults in Transaction Processing Systems Using Commit Barrier Scheduling (SOSP 2007). Stevenson, Washington, October, 2007. (with B.Vandiver, H.Balakrishnan, and S.Madden). [17]

Enlaces externos

https://www.engineergirl.org/Engineers/Directory/2914.aspx

https://www.csail.mit.edu/user/971

http://amturing.acm.org/award_winners/liskov_1108679.cfm

https://es.wikipedia.org/wiki/Barbara_Liskov

https://en.wikipedia.org/wiki/Barbara_Liskov

http://dl.acm.org/author_page.cfm?id=81100323833&coll=DL&dl=ACM&trk=0&cfid=912678585&cftoken=98234913

http://www.ecured.cu/Barbara_Liskov

http://www.abebooks.com/9780070379961/Abstraction-Specification-Program-Development-Mh-Mit-0070379963/plp

http://www.amazon.co.uk/Program-Development-Java-Specification-Object-Oriented/dp/0201657686

Página de inicio

http://wikinformatica.unizar.es/index.php?title=STeam2017