Barbara Liskov

電腦科學家與程式設計先驅

關於

Barbara Liskov 是麻省理工學院的美國電腦科學家，在程式語言設計、軟體工程與分散式系統領域有奠基性貢獻。她提出了 Liskov 替換原則，這是物件導向程式設計的基石，主張子類型的物件應可替換其基礎類型的物件。她在 CLU 語言上的研究引入了資料抽象與迭代器的概念。她榮獲 2008 年圖靈獎。

主要貢獻

設計 CLU，將資料抽象、迭代器與例外處理帶入實用程式語言設計
提出 Liskov 替換原則，成為物件導向系統中檢驗行為相容性的持久標準
打造 Venus、Argus、Thor 等具影響力系統，將程式語言思想連到作業系統、分散式運算與資料庫
透過複製與拜占庭容錯研究推進分散式系統
因將抽象化變成建構可靠軟體的具體工具，獲得 2008 年圖靈獎
她的工作之所以基礎，是因為它像安靜的基礎設施：許多開發者每天使用，卻未必知道來源

影片與訪談

Barbara Liskov: Programming the Turing Machine

Liskov's Turing Award lecture on the evolution of programming languages

View Details

The Power of Abstraction | Barbara Liskov

Lecture on data abstraction and its impact on software engineering

View Details

Turing Award Winner: Data Abstraction, Dijkstra, Distributed Systems | Barbara Liskov

Liskov reflects on data abstraction, Dijkstra's influence, and her work in distributed systems

View Details