Barbara Liskov：CLU與Argus語言發明人

今天準備培訓資料，忽然想到里氏替換原則中的「里氏」到底is what ?

查了以後，大爲震驚，原來是祖師爺級別的人物。

Barbara Liskov：CLU與Argus語言發明人

Barbara Liskov

計算機界有「計算機界諾貝爾獎」之稱的圖靈獎曾由男性壟斷了40年，而在2008年6月這一局面再次被打破。Barbara Liskov被授予2008年度圖靈獎得主，以表彰她對編程語言和系統設計方面所作出的實踐與理論基礎，尤爲是數據抽象、容錯和分佈式計算方面的貢獻。她也是第二位得到此獎項的女性科學家。

Barbara Liskov，本名Barbara Jane Huberman，1939年生於加利福尼亞。1961年在加州大學伯克利分校得到數學學士學位。在20世紀60年代，計算機科學這門新興職業對女性來講還至關寒冷。Liskov在申請研究生、找工做過程當中多次碰壁。但這並無擊垮她，她認爲「發生的不公平的事情，並不與我直接相關，我想也許正是這種態度，使我已經適應這些年來此類處境。」

Liskov平生最重要的科研成果是她爲推進數據抽象使用所作的巨大貢獻。她在此領域的創新使得軟件更易於編寫、修改和維護，極大地提升了計算機軟件的可靠性、安全性和易用性。Liskov從實際項目中提煉出來的數據抽象思想，已經成爲軟件工程的重要精髓。

20世紀70年代早期，Liskov發明了兩種計算機語言：CLU（一種支持數據抽象的面向對象編程語言）和Argus（一種分佈式程序實現的高級語言）。這些研究成果成爲現代編程語言的基礎，支撐起整個現代應用軟件行業，對每一種主流彙編語言產生了深遠的影響，如C++、Java、Python、Ruby、C#等。她與亞裔女科學家周以真一塊兒提出的Liskov替代原則，是程序設計中另外一個普遍應用的成就。這個原則已成爲面向對象最重要的原則之一。