Barbara Liskov

científica computacional estatunidenca


Barbara Liskov (nascuda a Los Angeles, Califòrnia, el 7 de novembre de 1939 com a Barbara Jane Huberman) és una prominent científica informàtica nord-americana, guanyadora del premi Turing.[1] 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.

Plantilla:Infotaula personaBarbara Liskov
Imatge
(2012) Modifica el valor a Wikidata
Biografia
Naixement7 novembre 1939 Modifica el valor a Wikidata (85 anys)
Los Angeles (Califòrnia) Modifica el valor a Wikidata
FormacióUniversitat Stanford - Philosophiæ doctor (–1968)
Universitat de Califòrnia a Berkeley Modifica el valor a Wikidata
Director de tesiJohn McCarthy Modifica el valor a Wikidata
Activitat
Camp de treballCiències de la computació Modifica el valor a Wikidata
Lloc de treball Institut de Tecnologia de Massachusetts Modifica el valor a Wikidata
Ocupacióinformàtica, professora d'universitat, enginyera Modifica el valor a Wikidata
OcupadorInstitut de Tecnologia de Massachusetts Modifica el valor a Wikidata
Membre de
ProfessorsJohn McCarthy Modifica el valor a Wikidata
Obra
Obres destacables
Estudiant doctoralMaurice Herlihy, Rivka Ladin, William E. Weihl (en) Tradueix, Sanjay Ghemawat, Andrew C. Myers (en) Tradueix, Deepak Kapur (en) Tradueix, Miguel Oom Temudo de Castro (en) Tradueix, Atul Adya (en) Tradueix, Umesh Maheshwari (en) Tradueix, Robert Edward Gruber (en) Tradueix, Mark Stuart Day (en) Tradueix, Deborah Jing-Hwa Hwang (en) Tradueix, Sameer Ajmani, Sheng Yang Chiu (en) Tradueix, Alan L. Snyder (en) Tradueix, Valdis Andris Bērziņš (en) Tradueix, Russell Roger Atkinson (en) Tradueix, Toby Bloom (en) Tradueix, J. Eliot B. Moss, Justin Craig Schaffert (en) Tradueix, Mark Steven Laventhal (en) Tradueix, Brian Masao Oki (en) Tradueix, Benjamin Mead Vandiver (en) Tradueix, Ben Wing Lup Leong (en) Tradueix, Rodrigo Seromenho Miragaia Rodrigues (en) Tradueix, Winnie Wing-Yee Cheng (en) Tradueix, Dan Robert Kenneth Ports (en) Tradueix, James Alexander Cowling (en) Tradueix i David Andrew Schultz (en) Tradueix Modifica el valor a Wikidata
Localització dels arxius
Premis

Lloc webpmg.csail.mit.edu… Modifica el valor a Wikidata

Biografia

modifica

Va obtenir la seva graduació en Matemàtiques a la Universitat de Califòrnia a Berkeley el 1961 i anys més tard, el 1968, es va convertir en la primera dona dels Estats Units a aconseguir un doctorat en Ciències de la computació per la Universitat 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].