Barbara Liskov

De Viquipèdia
Salta a la navegació Salta a la cerca
Infotaula de personaBarbara Liskov
Barbara Liskov.PNG
Biografia
Naixement 7 novembre 1939 (79 anys)
Los Angeles
Educació Universitat de Stanford . Doctor (–1968)
Universitat de Califòrnia a Berkeley
Activitat
Director de tesi John McCarthy
Camp de treball Ciències de la computació
Ocupació Informàtica, professora d'universitat i enginyera
Ocupador Institut de Tecnologia de Massachusetts
Obra
Obres destacables
Estudiant doctoral Maurice Herlihy i Rivka Ladin Tradueix

Lloc web Lloc web oficial
Modifica les dades a Wikidata

Barbara Jane Huberman (nascuda el 7 de novembre de 1939) és una prominent científica de la computació nord-americana, guanyadora del premi Turing.[1]

Biografia[modifica]

Actualment està treballant en el departament d'Enginyeria elèctrica i Ciències de la computació del MIT, com a professora d'enginyeria de Ford. Va aconseguir la seva graduació en Matemàtiques a la Universitat de Califòrnia a Berkeley el 1961 i anys més tard, en 1968, es va convertir en la primera dona dels Estats Units a aconseguir un doctorat en Ciències de la computació per la Universitat de Stanford.

Barbara Liskov ha dirigit diversos projectes significatius, com el disseny i implementació del llenguatge de programació CLU, el primer llenguatge de programació que suportava l'abstracció de dades, Argus, que va ser el primer llenguatge d'alt nivell a suportar la implementació de programes distribuïts i Thor, un sistema de base de dades orientat a objectes. Juntament amb Jeannette Wing, va desenvolupar una particular definició de subtipus, comunament conegut com el Principi de substitució de Liskov.

La professora Liskov és membre de l'Acadèmia Nacional d'Enginyeria (National Academy of Engineering) dels Estats Units. En 2004 va guanyar la Medalla John von Neumann per "la seva fonamental contribució als llenguatges de programació, metodologies de programació i sistemes distribuïts". En 2008 va guanyar el premi Turing per "la seva contribució als fonaments teòrics i pràctics en el disseny de llenguatges de programació i sistemes, especialment relacionats amb l'abstracció de dades, tolerància a fallades i computació distribuïda". L'any 2012 va ser investida doctora honoris causa per la Universitat Politècnica de Catalunya.[2]

Referències[modifica]

  1. Web del premi Turing
  2. «Honoris causa - UPC», 24-06-2016. [Consulta: 24 juny 2016].
A Wikimedia Commons hi ha contingut multimèdia relatiu a: Barbara Liskov Modifica l'enllaç a Wikidata