芭芭拉·利斯科夫

芭芭拉·利斯科夫（英语：Barbara Liskov，1939年11月7日—），本名芭芭拉·简·休伯曼（英语：Barbara Jane Huberman）。美国计算机科学家，^[2]2008年图灵奖得主，^[3][4]2004年约翰·冯诺依曼奖得主。^[5]现任麻省理工学院电子电气与计算机科学系教授。^[6]

芭芭拉·利斯科夫 (Barbara Liskov)
出生	Barbara Jane Huberman (1939-11-07) 1939年11月7日（85岁） 洛杉矶, 加利福尼亚
国籍	美国
母校	加州大学伯克利分校 斯坦福大学
知名于	实用拜占庭容错 Venus (操作系统) CLU 和 Argus (编程语言) Thor (面向对象数据库) 里氏替换原则
奖项	IEEE约翰·冯诺依曼奖(2004), 图灵奖(2008)
科学生涯
研究领域	计算机科学
机构	麻省理工学院
论文	A Program to Play Chess End Games（1968）
博士导师	约翰·麦卡锡[1]

简历

1961年在加州大学伯克利分校获得数学学士学位。1968年在斯坦福大学获得博士学位，她是美国第一个计算机科学女博士。^[7][8]导师为1971年图灵奖得主约翰·麦卡锡教授，论文题目是国际象棋残局程序。^[9]

利斯科夫领导了许多重要的项目，包括小型低成本交互式的分时操作系统Venus，第一个支持数据抽象的面向对象编程语言CLU的设计与实现（1970年代），^[10]第一个支持分布式程序实现的高级语言Argus（1980年代），^[11]面向对象数据库系统Thor，还有最近的Byzantine分布式容错系统。^[12]其中，CLU语言对现代主流语言如C++/Java/Python/Ruby/C#都有比较深远的影响。而她从这些实际项目中提炼出来的数据抽象思想，已经成为软件工程中最重要的精髓之一。

她另外一个在程序设计中有广泛应用的成就，是与周以真（Jeannette Wing）合作发展出子类型定义，并且一起提出的Liskov代换原则，这是面向对象程序设计中最重要的几大原则之一。

认可和奖励

利斯科夫是美国工程院院士，美国艺术与科学院院士，美国计算机协会(ACM)会士。2002年，她被公认是在麻省理工学院顶级女性教师之一，在美国科学领域中的排名前50位大学教学人员之中。^[13]

著作

Program Development in Java，Addison-Wesley, 2001