Barbara liskov

Barbara liskov Descripción de esta imagen, también comentada a continuación Barbara liskov Llave de datos
Nombre de nacimiento Barbara jane huberman
Nacimiento 7 de noviembre de 1939
Los Ángeles ( Estados Unidos )
Nacionalidad Americana
Áreas Ciencias de la Computación
Premios Premio Turing de la Medalla John von Neumann

Barbara Liskov de soltera Huberman (nacida el7 de noviembre de 1939en Los Ángeles ) es un americano científico de la computación .

Barbara Liskov dirigió muchos proyectos importantes, incluido el diseño e implementación del lenguaje CLU , el primer lenguaje de programación que admite la abstracción de datos , Argus  (in) , el primer lenguaje de alto nivel para respaldar la implementación de programas distribuidos, y Thor , un objeto sistema de base de datos orientado . Con Jeannette Wing , desarrolló una definición particular de subtipo , conocida como principio de sustitución de Liskov .

Barbara Liskov recibió en 2004 la medalla John von Neumann por "sus contribuciones fundamentales a los lenguajes de programación, metodología de programación y sistemas distribuidos" y el Premio Turing en 2008 .

Biografia y carrera

Barbara Jane Huberman nació en California en 1939; es la mayor de cuatro hijos de Jane (de soltera Dickhoff) y Moses Huberman. Estudió en la Universidad de California en Berkeley , donde se graduó en 1961 con su licenciatura en Matemáticas . Solicitó un doctorado en matemáticas en las universidades de Berkeley y Princetown, aunque Princeton no aceptaba mujeres en ese momento. Fue aceptada en Berkeley, pero finalmente cambió de opciones y se fue a trabajar durante un año en MITRE en Boston, donde comenzó a hacer programación. Luego se incorporó a Harvard donde trabajó, todavía como programadora, en la traducción de idiomas. Luego decide reanudar sus estudios. Aceptada en Stanford, trabajó con John McCarthy en inteligencia artificial . En 1968, se convirtió en una de las primeras estadounidenses en recibir un doctorado en ciencias de la computación de la Universidad de Stanford.Su tema de tesis doctoral fue la programación de finales de juego en el ajedrez.

Se casó con Nathan Liskov en 1970 y su hijo Moses Liskov nació en 1975.

Barbara Liskov ha liderado muchos proyectos, como el sistema operativo Venus, el diseño e implementación del lenguaje CLU  ; Argus , el primer lenguaje de alto nivel para respaldar la implementación de programas distribuidos y destinado a demostrar la canalización técnica prometida ( promesas de procesamiento de paquetes ); y el sistema Thor, una base de datos orientada a objetos.

Con Jeannette Wing , desarrolló una definición particular de subtipo, comúnmente conocida como principio de sustitución de Liskov .

Dirige el grupo de metodología de programación del MIT , con énfasis en la tolerancia a las fallas bizantinas y la computación distribuida .

Libros

Premios

Referencias

  1. "  IEEE John von Neumann Medal Recipients  " , IEEE (consultado el 15 de marzo de 2010 )
  2. en http://www.legacy.com/obituaries/sfgate/obituary.aspx?n=jane-siegel&pid=13882738
  3. en "  Barbara Liskov - Engineergirl  " (consultado el 6 de septiembre de 2007 ) Perfil de las Academias Nacionales de Ingeniería.
  4. "  Doctorados en Ciencias de la Computación de UW-Madison otorgados, mayo de 1965 - agosto de 1970  " (consultado el 8 de noviembre de 2010 ) Doctorados otorgados en el Departamento de Ciencias de la Computación de UW-Madison.
  5. (en) http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=AD0673971
  6. (in) "  Honorary Degrees  " en Brown University (consultado el 22 de octubre de 2020 )

enlaces externos