Doğum adı | Barbara jane huberman |
---|---|
Doğum |
7 Kasım 1939 Los Angeles ( Amerika Birleşik Devletleri ) |
Milliyet | Amerikan |
Alanlar | bilgisayar Bilimi |
Ödüller |
John von Neumann Madalya Turing Ödülü |
Barbara Liskov née Huberman (doğdu7 Kasım 1939içinde Los Angeles ) bir olduğunu Amerikalı bilgisayar bilimcisi .
Barbara Liskov tasarım ve dil uygulanması dahil olmak üzere birçok önemli projeyi, led CLU , ilk programlama dili destekleyecek veri soyutlama , Argus (in) , destek uygulaması dağıtılan programlara ilk üst düzey dili ve Thor , bir nesneye odaklı veritabanı sistemi . Jeannette Wing ile Liskov'un ikame ilkesi olarak bilinen özel bir alt tipleme tanımı geliştirdi .
Barbara Liskov, 2004 yılında John von Neumann madalyasını "programlama dillerine, programlama metodolojisine ve dağıtılmış sistemlere yaptığı temel katkılardan dolayı" ve 2008'de Turing Ödülü'nü aldı .
Barbara Jane Huberman, 1939'da Kaliforniya'da doğdu ; Jane (kızlık soyadı Dickhoff) ve Moses Huberman'ın dört çocuğunun en büyüğü olan Berkeley'deki California Üniversitesi'nde okudu ve 1961'de Matematik Lisans Diploması ile mezun oldu . Princeton şu anda kadınları kabul etmemiş olsa da, Berkeley ve Princetown üniversitelerinden matematik alanında doktora için başvurdu. Berkeley'e kabul edildi, ancak sonunda seçeneklerini değiştirdi ve bir yıllığına Boston'daki MITER'de programlama yapmaya başladı. Daha sonra, hala bir programcı olarak dillerin çevirisi üzerine çalıştığı Harvard'a katıldı. Daha sonra çalışmalarına devam etmeye karar verir. Stanford'da kabul edildi , yapay zeka konusunda John McCarthy ile çalıştı . 1968'de Stanford Üniversitesi'nden bilgisayar bilimi alanında doktora yapan ilk Amerikalılardan biri oldu Doktora tezi, satrançta oyunsonu programlamasıydı.
1970'te Nathan Liskov ile evlendi ve oğulları Moses Liskov 1975'te doğdu.
Barbara Liskov, Venüs işletim sistemi , CLU dilinin tasarımı ve uygulaması gibi birçok projeye liderlik etmiştir ; Dağıtılmış programların uygulanmasını destekleyen ilk üst düzey dil olan ve teknik vaat edilen boru hatlarını (paket işleme vaatleri ) göstermeyi amaçlayan Argus ; ve nesne yönelimli bir veritabanı olan Thor sistemi.
Jeannette Wing ile , genellikle Liskov'un ikame ilkesi olarak bilinen belirli bir alt tipleme tanımı geliştirdi .
O en programlama metodolojisi grubu yönlendiren MIT üzerinde durularak, hoşgörü için Bizans arızaları ve dağıtık bilgi işlem .