更新时间：2024-09-20 19:52
芭芭拉·利斯科夫（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位女性之一。