Loading AI tools
来自维基百科，自由的百科全书
芭芭拉·利斯科夫（英語：Barbara Liskov，1939年11月7日—），本名芭芭拉·簡·休伯曼（英語：Barbara Jane Huberman）。美國計算機科學家，[2]2008年圖靈獎得主，[3][4]2004年約翰·馮諾依曼獎得主。[5]現任麻省理工學院電子電氣與計算機科學系教授。[6]
1961年在加州大學伯克利分校獲得數學學士學位。1968年在史丹佛大學獲得博士學位，她是美國第一個計算機科學女博士。[7][8]導師為1971年圖靈獎得主約翰·麥卡錫教授，論文題目是西洋棋殘局程序。[9]
利斯科夫領導了許多重要的項目，包括小型低成本交互式的分時作業系統Venus，第一個支持數據抽象的物件導向程式語言CLU的設計與實現（1970年代），[10]第一個支持分布式程序實現的高級語言Argus（1980年代），[11]物件導向資料庫系統Thor，還有最近的Byzantine分布式容錯系統。[12]其中，CLU語言對現代主流語言如C++/Java/Python/Ruby/C#都有比較深遠的影響。而她從這些實際項目中提煉出來的數據抽象思想，已經成為軟體工程中最重要的精髓之一。
她另外一個在程序設計中有廣泛應用的成就，是與周以真（Jeannette Wing）合作發展出子類型定義，並且一起提出的Liskov代換原則，這是物件導向程序設計中最重要的幾大原則之一。
利斯科夫是美國工程院院士，美國藝術與科學院院士，美國計算機協會(ACM)會士。2002年，她被公認是在麻省理工學院頂級女性教師之一，在美國科學領域中的排名前50位大學教學人員之中。[13]
Program Development in Java，Addison-Wesley, 2001
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
