芭芭拉·利斯科夫

芭芭拉 ・ 利斯科夫（英語：Barbara Liskov，一九三九年十一月初七—）， 本名芭芭拉 ・ 簡 ・ 休伯曼（英語：Barbara Jane Huberman）。 美國計算機科學家，二空空八年圖靈獎得主，二空空四年約翰 ・ 馮諾依曼獎得主。現任麻省理工學院電子電氣佮計算機科學系教授。

簡歷

一九六一年佇加州大學伯克利分校得著數學學士學位。一九六八年佇史丹福大學獲得博士學位，伊是美國第一个計算機科學女博士。導師為一九七一年圖靈獎得主約翰 ・ 麥卡錫教授，論文題目是西洋棋殘局程序。

利斯科夫領導了真濟重要的項目，包括小型低成本交互式的分時作業系統 Venus，第一个支持數據抽象的物件導向程式語言的 CLU 的設計佮實現（一九七空年代）， 第一个支持分佈式程序實現的高級語言 Argus（一九八空年代）， 物件導向資料庫系統 Thor，閣有最近的 Byzantine 分布式容錯系統。其中，CLU 語言對現代主流語言如 C + + / Java / Python / Ruby / C # 攏有較深較遠的影響。伊對遮的實際項目中提煉出來的數據抽象思想，已經成做軟體工程中上重要的精髓之一。

伊另外一个在程序設計中有廣泛應用的成就，是佮周以真（Jeannette Wing）合作發展出子類型的定義，並且做伙提出的 Liskov 代換原則，這是物件導向程序設計上重要的幾大原則之一。

認可佮獎勵啦

利斯科夫是美國工程院院士，美國藝術佮科學院院士，美國計算機協會 ( ACM ) 會士。二空空二年，伊予人公認是佇麻省理工學院頂級女性教師之一，佇美國科學領域中的排名前五十位大學教學人員之中。

對作

_ Program Development in Java _，Addison-Wesley , 兩千空一

參與

• Liskov 代換原則
• 計算機領域內底的女性

外部連結

• （英文）利斯科夫教授的主頁
• （英文）編程方法學群組
• （英文）圖靈獎新聞稿
• （英文）National Public Radio ,「科學日」利斯科夫專訪，播出日期二空空九年三月十三
• 伊改變編程-知道喔