Barbara Liskov
| (2012) |
|
|
Naixement | 7 novembre 1939 (85 anys) Los Angeles (Califòrnia) |
---|
Formació | Universitat Stanford - Philosophiæ doctor (–1968) Universitat de Califòrnia a Berkeley |
---|
Director de tesi | John McCarthy |
---|
|
Camp de treball | Ciències de la computació |
---|
Lloc de treball | Institut de Tecnologia de Massachusetts |
---|
Ocupació | informàtica, professora d'universitat, enginyera |
---|
Ocupador | Institut de Tecnologia de Massachusetts |
---|
Membre de | |
---|
Professors | John McCarthy |
---|
|
Obres destacables |
Estudiant doctoral | Maurice Herlihy, Rivka Ladin, William E. Weihl (en) , Sanjay Ghemawat, Andrew C. Myers (en) , Deepak Kapur (en) , Miguel Oom Temudo de Castro (en) , Atul Adya (en) , Umesh Maheshwari (en) , Robert Edward Gruber (en) , Mark Stuart Day (en) , Deborah Jing-Hwa Hwang (en) , Sameer Ajmani, Sheng Yang Chiu (en) , Alan L. Snyder (en) , Valdis Andris Bērziņš (en) , Russell Roger Atkinson (en) , Toby Bloom (en) , J. Eliot B. Moss, Justin Craig Schaffert (en) , Mark Steven Laventhal (en) , Brian Masao Oki (en) , Benjamin Mead Vandiver (en) , Ben Wing Lup Leong (en) , Rodrigo Seromenho Miragaia Rodrigues (en) , Winnie Wing-Yee Cheng (en) , Dan Robert Kenneth Ports (en) , James Alexander Cowling (en) i David Andrew Schultz (en) |
---|
Localització dels arxius | |
---|
|
|
|
Lloc web | pmg.csail.mit.edu… |
---|
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.
Biografia
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