Barbara Liskov

芭芭拉·利斯科夫（Barbara Liskov，1939 年 11 月 7 日出生）是一位美国计算机科学家，为编程语言和分布式计算做出了开创性贡献。她的著名工作包括引入抽象数据类型和随之而来的数据抽象原理，以及将这些思想应用于面向对象编程、子类型和继承的里氏替换原理。她的工作荣获 2008 年图灵奖，这是计算机科学领域的最高荣誉。利斯科夫是美国最早获得计算机科学博士学位的女性之一，也是第二位获得图灵奖的女性。她目前是麻省理工学院的研究所教授和福特工程教授。 [ 2 ] [ 3 ] 利斯科夫于 1939 年 11 月 7 日出生于加利福尼亚州洛杉矶，[ 4 ] 是简（娘家姓迪克霍夫）和摩西·休伯曼的四个孩子中的长子。 [5] 1961年，她在加州大学伯克利分校获得数学学士学位，辅修物理学。在伯克利分校，她的专业只有一名女同学。 [6] 她申请了伯克利分校和普林斯顿大学的研究生数学课程。当时普林斯顿大学不接受数学专业的女学生。 [7] 她被伯克利大学录取，但搬到波士顿并开始在 Mitre Corporation 工作，在那里她对计算机和编程产生了兴趣。她在 Mitre 工作了一年，然后在哈佛大学从事语言翻译方面的编程工作。 [ 7 ] 领域：计算机科学 教育：加州大学伯克利分校 BA 斯坦福大学 MS 博士 获奖者：IEEE 约翰·​​冯·诺依曼奖章 (2004) A. M. 图灵奖 (2008) 国家发明家名人堂 (2012) 计算机先锋奖 (2018)