芭芭拉·利斯科夫（Barbara Liskov），圖靈獎得主、麻省理工學院教授，是美國第一個計算機科學女博士，2008年圖靈獎得主，美國工程院院士，美國計算機協會會士。她的杰出成就已經跨越了學界的高墻，改變了人們日常的生活，美國計算機協會評價：利斯科夫在編程領域帶來了革命性創新。
人物經歷
利斯科夫出生于加利福尼亞州洛杉磯的一個猶太家庭，是簡（娘家姓迪克霍夫）和摩西·胡伯曼的四個孩子中的長女。1961年在加利福尼亞大學伯克利分校獲得數學學士，輔修物理學。在伯克利，她在主修專業中只有一位女性同學。由于普林斯頓大學不接受女性學生學習數學，她選擇在Mitre公司工作，后來在哈佛大學從事語言翻譯工作。1968年3月，她成為美國第一批獲得計算機科學博士學位的女性之一，當時她從斯坦福大學獲得了博士學位。畢業后，利斯科夫回到Mitre公司擔任研究人員。
利斯科夫領導了許多重要的項目，包括小型低成本交互式的分時操作系統Venus，第一個支持數據抽象的面向對象編程語言CLU的設計與實現，第一個支持分布式程序實現的高級語言Argus，面向對象數據庫系統 Thor，還有最近的Byzantine分布式容錯系統。她與Jeanette Wing一起制定了子類型的特定定義，通常被稱為利斯科夫替換原則。她領導麻省理工學院的編程方法論研究小組，目前的研究重點是拜占庭容錯和分布式計算。
個人生活
在1970年，她與內森·利斯科夫結婚。他們有一個兒子，莫西斯，于2004年從麻省理工學院獲得計算機科學博士學位，并在威廉與瑪麗學院教授計算機科學。
榮譽與評價
芭芭拉·利斯科夫是美國最早獲得計算機科學博士學位的女性之一，也是第二位獲得圖靈獎的女性。她因“對編程語言、編程方法論和分布式系統的基本貢獻”而獲得約翰·馮·諾依曼獎，并在2005年11月19日與唐納德·E·克努斯一起被授予瑞士蘇黎世聯邦理工學院的榮譽博士學位。利斯科夫還分別于2011年和2018年獲得了盧加諾大學和馬德里理工大學的榮譽博士學位。ACM贊揚了她在“編程語言和系統設計的實際和理論基礎方面的貢獻，特別是與數據抽象、容錯和分布式計算相關的基礎”。截至2023年2月，利斯科夫已出版了五本書和一百多篇技術論文。2002年，《探索》雜志將利斯科夫評為科學界最重要的50位女性之一。
參考資料 >