Diferencia entre revisiones de «Liskov,Barbara»
| (No se muestran 15 ediciones intermedias de 2 usuarios) | |||
| Línea 4: | Línea 4: | ||
| 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 12: | Línea 12: | ||
| label5 = Alma mater | | label5 = Alma mater | ||
| data5 = Universidad de Stanford | | data5 = Universidad de Stanford | ||
| − | | label6 = Página de | + | | 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 = | + | | label9 = Profesión |
| − | | data9 | + | | data9 = Profesora de universidad |
| − | + | |label10 = Lugar de trabajo | |
| − | + | |data10 = 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}} | ||
}} | }} | ||
| − | + | Actualmente, ejerce como profesora de ciencias de la computación en el '''[http://web.mit.edu 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). | |
| − | + | ||
| − | 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 | + | |
| − | + | ||
== '''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 | + | Nacida el '''[https://es.wikipedia.org/wiki/7_de_noviembre 7 de noviembre] de [https://es.wikipedia.org/wiki/1939 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 [https://es.wikipedia.org/wiki/1963 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 [https://es.wikipedia.org/wiki/1968 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'''. |
| − | Cuando era joven, era raro que las mujeres pensaran en tener una carrera. Esto causó que sólo se centrase en su trabajo | + | 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ó. |
| − | + | Una entrevista que le hicieron en [https://es.wikipedia.org/wiki/2001 2001] sobre su vida:[http://ethw.org/Oral-History:Barbara_Liskov_(2001)] | |
| + | == Trabajo == | ||
| − | + | Liskov ha trabajado en proyectos importantes en los que se incluye : | |
| + | -El '''Sistema Operativo Venus''', un sistema pequeño, de bajo costo y de tiempo compartido interactivo que sirvió de ejemplo para diseñarlos principios de los sistema operativo. | ||
| − | + | -El diseño y la implementación de '''CLU'''[https://es.wikipedia.org/wiki/CLU], '''Argus''', el primer lenguaje de programació para apoyar la implementación de '''Thor''', un sistema de base de datos orientado a objetos. | |
| + | |||
| + | '''CLU''' es un lenguaje de programación creado por Barbara Liskov y sus estudiantes entre '''[https://es.wikipedia.org/wiki/1974 1974] y [https://es.wikipedia.org/wiki/1975 1975]'''. Usaron constructores para los tipos de datos abstractos [https://es.wikipedia.org/wiki/Tipo_de_dato_abstracto] que incluyeron en el código, permitiendo avanzar en la programación orientada a objetos ('''POO'''). No obstante, muchas de las características de '''POO''' estaban incompletas o necesitaban ser desarrolladas. Además, la sintaxis del lenguaje era complicada. | ||
| − | + | -Dirige el '''Grupo de Metodología de la programación''' en el MIT, con un enfoque de la investigación actual en la '''computación distribuida''' . Sus contribuciones se utilizan hoy en día influyendo en los sistemas que se utilizan hoy en día para la programación, diseño de sistemas y arquitecturas distribuidas. | |
| − | + | ||
| − | + | -'''El Principio de Sustitución de Liskov''' o '''Liskov Substitution Principle''' es un principio de la programación orientada a objetos, que fue introducido por Barbara Liskov en [https://es.wikipedia.org/wiki/1987 1987] y formulado de manera conjunta en un artículo en el año [https://es.wikipedia.org/wiki/1994 1994] por '''Liskov''' y '''Jeannette Wing''' | |
| − | [ | + | |
| − | + | == '''Premios''' == | |
| − | + | ||
| − | Society of Women Engineers: Achievement Award (1996) | + | -Society of Women Engineers: Achievement Award ([https://es.wikipedia.org/wiki/1996 1996]) |
| − | [http:// | + | [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 ([https://es.wikipedia.org/wiki/2004 2004]) |
| − | [ | + | [https://www.ieee.org/about/awards/bios/vonneumann_recipients.html] |
| − | + | -Association for Computing Machinery: Impact Paper Award ([https://es.wikipedia.org/wiki/2007 2007]) | |
| − | [http://www. | + | [http://www.acm.org/] |
| − | Association for Computing Machinery: | + | -Association for Computing Machinery: A.M. Turing Award ([https://es.wikipedia.org/wiki/2009 2009]) |
| − | [http:// | + | [http://amturing.acm.org/award_winners/liskov_1108679.cfm] |
| − | + | -CMU and Tokyo University of Technology: Katayanagi Award for Research Excellence ([https://es.wikipedia.org/wiki/2011 2011]) | |
| − | [http://www. | + | [http://www.cs.cmu.edu/~katayanagi/archive2011.html] |
| − | Association for Computing Machinery: | + | -Association for Computing Machinery: SIGOPS Hall of Fame Award ([https://es.wikipedia.org/wiki/2012 2012]) |
| − | [ | + | [https://www.sigops.org/award-hof.html] |
| − | + | -University of Pennsylvania: Harold Pender Award ([https://es.wikipedia.org/wiki/2013 2013]) | |
| − | + | ||
| − | + | ||
| − | University of | + | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | [ | + | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
[http://www.seas.upenn.edu/about-seas/lectures/pender.php] | [http://www.seas.upenn.edu/about-seas/lectures/pender.php] | ||
== '''Publicaciones''' == | == '''Publicaciones''' == | ||
| − | 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) | + | -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 [https://es.wikipedia.org/wiki/1997 1997], 129-147 (with A. Myers) | ||
[http://www.pmg.csail.mit.edu/~liskov/newcv-09.pdf] | [http://www.pmg.csail.mit.edu/~liskov/newcv-09.pdf] | ||
| − | Liskov, B., "Practical Byzantine Fault Tolerance and Proactive Recovery," Transactions on Computer Systems 20(4), November 2002, 398-461 (with M. Castro) | + | -Liskov, B., "Practical Byzantine Fault Tolerance and Proactive Recovery," Transactions on Computer Systems 20(4), November [https://es.wikipedia.org/wiki/2002 2002], 398-461 (with M. Castro) |
[https://www.microsoft.com/en-us/research/wp-content/uploads/2017/01/p398-castro-bft-tocs.pdf] | [https://www.microsoft.com/en-us/research/wp-content/uploads/2017/01/p398-castro-bft-tocs.pdf] | ||
| − | 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) | + | -Liskov, B., "BASE: Using Abstraction to Improve Fault Tolerance," ACM Transactions on Computer Systems 21(3), August [https://es.wikipedia.org/wiki/2003 2003], 236-269 (with R. Rodrigues and M. Castro) |
[http://www.cs.unm.edu/~cris/591/castro2003base.pdf] | [http://www.cs.unm.edu/~cris/591/castro2003base.pdf] | ||
| − | 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). | + | -Path Vector Face Routing: Geographic Routing with Local Face Information. In Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP [https://es.wikipedia.org/wiki/2005 2005]). Boston, Massachusetts, November [https://es.wikipedia.org/wiki/2005 2005]. (with B.Leong and S.Mitra). |
[http://www.ieee-icnp.org/2005/Papers/13_leong-path1.pdf] | [http://www.ieee-icnp.org/2005/Papers/13_leong-path1.pdf] | ||
| − | 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). | + | -Tolerating Byzantine Faulty Clients in a Quorum System. In Proceedings of the 26th International Conference on Distributed Computing Systems (ICDCS [https://es.wikipedia.org/wiki/2006 2006]). Lisbon, Portugal. July [https://es.wikipedia.org/wiki/2006 2006]. (with R.Rodrigues). |
[http://www.pmg.csail.mit.edu/papers/rodrigo_icdcs06.pdf] | [http://www.pmg.csail.mit.edu/papers/rodrigo_icdcs06.pdf] | ||
| − | 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). | + | -Automatic Software Upgrades for Distributed Systems. In Proceedings of the European Conference on Object-oriented Programming (ECOOP [https://es.wikipedia.org/wiki/2006 2006]). Nantes, France. July [https://es.wikipedia.org/wiki/2006 2006]. (with S.Ajmani and L.Shrira). |
[http://pmg.csail.mit.edu/~ajmani/papers/ecoop06-upgrades.pdf] | [http://pmg.csail.mit.edu/~ajmani/papers/ecoop06-upgrades.pdf] | ||
| − | 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). | + | -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 [https://es.wikipedia.org/wiki/2006 2006]). Seattle, Washington, November [https://es.wikipedia.org/wiki/2006 2006]. (with J.Cowling, D.Myers, R.Rodrigues, and L.Shrira). |
[http://pmg.csail.mit.edu/papers/hq/hq-osdi06.pdf] | [http://pmg.csail.mit.edu/papers/hq/hq-osdi06.pdf] | ||
| − | 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). | + | -Tolerating Byzantine Faults in Transaction Processing Systems Using Commit Barrier Scheduling (SOSP [https://es.wikipedia.org/wiki/2007 2007]). Stevenson, Washington, October, [https://es.wikipedia.org/wiki/2007 2007]. (with B.Vandiver, H.Balakrishnan, and S.Madden). |
[http://nms.csail.mit.edu/papers/hrdb-sosp07.pdf] | [http://nms.csail.mit.edu/papers/hrdb-sosp07.pdf] | ||
| − | == ''' | + | == '''Enlaces externos''' == |
https://www.engineergirl.org/Engineers/Directory/2914.aspx | https://www.engineergirl.org/Engineers/Directory/2914.aspx | ||
Revisión actual del 18:54 29 abr 2017
 | |
| 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 |
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ó.
Una entrevista que le hicieron en 2001 sobre su vida:[1]
Trabajo
Liskov ha trabajado en proyectos importantes en los que se incluye : -El Sistema Operativo Venus, un sistema pequeño, de bajo costo y de tiempo compartido interactivo que sirvió de ejemplo para diseñarlos principios de los sistema operativo.
-El diseño y la implementación de CLU[2], Argus, el primer lenguaje de programació para apoyar la implementación de Thor, un sistema de base de datos orientado a objetos.
CLU es un lenguaje de programación creado por Barbara Liskov y sus estudiantes entre 1974 y 1975. Usaron constructores para los tipos de datos abstractos [3] que incluyeron en el código, permitiendo avanzar en la programación orientada a objetos (POO). No obstante, muchas de las características de POO estaban incompletas o necesitaban ser desarrolladas. Además, la sintaxis del lenguaje era complicada.
-Dirige el Grupo de Metodología de la programación en el MIT, con un enfoque de la investigación actual en la computación distribuida . Sus contribuciones se utilizan hoy en día influyendo en los sistemas que se utilizan hoy en día para la programación, diseño de sistemas y arquitecturas distribuidas.
-El Principio de Sustitución de Liskov o Liskov Substitution Principle es un principio de la programación orientada a objetos, que fue introducido por Barbara Liskov en 1987 y formulado de manera conjunta en un artículo en el año 1994 por Liskov y Jeannette Wing
Premios
-Society of Women Engineers: Achievement Award (1996) [4]
-Institute of Electrical and Electronics Engineers: John von Neumann Medal (2004) [5]
-Association for Computing Machinery: Impact Paper Award (2007) [6]
-Association for Computing Machinery: A.M. Turing Award (2009) [7]
-CMU and Tokyo University of Technology: Katayanagi Award for Research Excellence (2011) [8]
-Association for Computing Machinery: SIGOPS Hall of Fame Award (2012) [9]
-University of Pennsylvania: Harold Pender Award (2013) [10]
Publicaciones
-Tesis: "A Program to Play Chess end Games" [[11]]
-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) [12]
-Liskov, B., "Practical Byzantine Fault Tolerance and Proactive Recovery," Transactions on Computer Systems 20(4), November 2002, 398-461 (with M. Castro) [13]
-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) [14]
-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). [15]
-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). [16]
-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). [17]
-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). [18]
-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). [19]
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://www.ecured.cu/Barbara_Liskov
http://www.amazon.co.uk/Program-Development-Java-Specification-Object-Oriented/dp/0201657686
