簡介

芭芭拉·利斯科夫(BarbaraLiskov,1939年-),本名BarbaraJaneHuberman。美國計算機科學家,2008年圖靈獎得主,2004年約翰·馮諾依曼獎得主。美國工程院院士,美國藝術與科學院院士,美國計算機協會會士。現任麻省理工學院電子電氣與計算機科學系教授。
科研歷程
1961年在加州大學伯克利分校獲得數學學士學位。1968年在史丹福大學獲得博士學位,她是美國第一個計算機科學女博士。導師為1971年圖靈獎得主約翰·麥卡錫,論文題目是西洋棋殘局程式。
利斯科夫領導了許多重要的項目,包括小型低成本互動式的分時作業系統Venus,第一個支持數據抽象的面向對象程式語言CLU的設計與實現,第一個支持分散式程式實現的高級語言Argus,面向對象資料庫系統Thor,還有最近的Byzantine分散式容錯系統。其中,CLU語言對現代主流語言如C++/Java/Python/Ruby/C#都有比較深遠的影響。而她從這些實際項目中提煉出來的數據抽象思想,已經成為軟體工程中最重要的精髓之一。
她另外一個在程式設計中有廣泛套用的成就,是與周以真(JeannetteWing)一起提出的Liskov代換原則,是面向對象最重要的幾大原則之一。
著作
ProgramDevelopmentinJava,Addison-Wesley,2001
評價
芭芭拉·利斯科夫(BarbaraLiskov),是美國第一個獲得博士學位的女性,因卓越的成就獲得2009年計算機界的“諾貝爾獎”--圖靈獎。
首先,能成為美國歷史上第一個獲得計算機博士的女性就很不容易,況且那是1968年的事。
其次,能擔任許多計算機專業夢寐以求的麻省理工學院(MIT)教授可不一般,那裡的學生的計算機天賦可是聞名全球的。他們搞出的惡作劇都有非常高的科技含量。
第三,能獲得計算機界的最重要的獎項--圖靈獎,自然是成就卓蓍。如果沒有記錯,計算機開發領域的面向對象開放(OOD)中著名的里氏替換原則(LSP)就是她1988年提出的。她還曾發明2種計算機語言:CLU(一種面向對象的代碼)和Argus(一種分散式程式語言)。
第四,作為一名女性,在計算機領域能超過許多男性,一定付出了很多。當然許多正在從事計算機專業領域的女性一定大受鼓舞,也會召喚更多的女性從事計算機工作。
因此,芭芭拉·利斯科夫(BarbaraLiskov)有成為偶像的資格,值得崇拜。