Barbara Liskov

Barbara Liskov

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

關於

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

主要貢獻

  • 提出 Liskov 替換原則
  • 設計具資料抽象機制的 CLU 程式語言
  • 開創分散式系統與拜占庭容錯研究
  • 2008 年圖靈獎得主
  • 美國最早取得電腦科學博士學位的女性之一

影片與訪談

Theme
Language
Support
© funclosure 2025