芭芭拉·利斯科夫
美国第一个计算机科学女博士
条目
历史版本
芭芭拉·利斯科夫（Barbara Liskov），图灵奖得主、麻省理工学院教授，是美国第一个计算机科学女博士，2008年图灵奖得主，美国工程院院士，美国计算机协会会士。她的杰出成就已经跨越了学界的高墙，改变了人们日常的生活，美国计算机协会评价：利斯科夫在编程领域带来了革命性创新。
人物经历
利斯科夫出生于加利福尼亚州洛杉矶的一个犹太家庭，是简（娘家姓迪克霍夫）和摩西·胡伯曼的四个孩子中的长女。1961年在加州大学伯克利分校获得数学学士学位，辅修物理学。在伯克利，她在主修专业中只有一位女性同学。由于普林斯顿不接受女性学生学习数学，她选择在Mitre公司工作，后来在哈佛大学从事语言翻译工作。1968年3月，她成为美国第一批获得计算机科学博士学位的女性之一，当时她从斯坦福大学获得了博士学位。毕业后，利斯科夫回到Mitre公司担任研究人员。
利斯科夫领导了许多重要的项目，包括小型低成本交互式的分时操作系统Venus，第一个支持数据抽象的面向对象编程语言CLU的设计与实现，第一个支持分布式程序实现的高级语言Argus，面向对象数据库系统 Thor，还有最近的Byzantine分布式容错系统。她与Jeanette Wing一起制定了子类型的特定定义，通常被称为利斯科夫替换原则。她领导麻省理工学院的编程方法论研究小组，目前的研究重点是拜占庭容错和分布式计算。