芭芭拉·利斯科夫 Barbara Liskov

芭芭拉·利斯科夫(Barbara Liskov)，CLU语言设计者、数据抽象先驱。研究方向：计算机科学、编程语言。主要成就：设计CLU语言首创数据抽象、提出Liskov替换原则、2008年获图灵奖。荣誉：图灵奖(2008)、美国国家科学院院士。在计算机科学技术领域取得重要突破。 图灵奖(2008);美国国家科学院院士。 代表成果：设计CLU语言首创数据抽象;提出Liskov替换原则;2008年获图灵奖。

人物经历

1939年11月7日，芭芭拉·利斯科夫出生于美国加利福尼亚。

1961年，在加州大学伯克利分校获得数学学士学位。

1968年，在斯坦福大学获得计算机科学博士学位，师从约翰·麦卡锡，成为美国首批获得计算机科学博士学位的女性之一。

1968年—1972年，任职于Mitre公司。

1972年，加入麻省理工学院。

1980年，成为麻省理工学院的正教授。

1989年，当选为美国国家工程院院士。

1992年，当选为美国艺术与科学院院士。

1996年，当选为ACM fellow（美国计算机协会会士）。

2001年—2004年，担任麻省理工学院计算机科学系副主任。

2007年，被任命为麻省理工学院副教务长。

2008年，获得图灵奖。

主要成就

芭芭拉·利斯科夫对编程语言和系统设计的实践和理论基础作出了贡献：创造了专门用于支持复杂软件构建的“维纳斯计算机”；描述了Algol（算法语言）对Venus操作系统的变量范围划分的影响；领导了CLU编程语言的设计和实现，该语言强调模块化编程、数据抽象和多态性的概念，这些概念是现代计算机语言（如Java和c#）中使用的面向对象编程的基础；创建了Argus语言，该语言扩展了CLU的思想，以简化在网络上分布的程序的实现，包括对嵌套事物的支持。

据2023年8月AMiner平台数据，芭芭拉·利斯科夫已发表学术论文272篇，论文被引34431次，H-index：76。

截止到2009年8月，芭芭拉·利斯科夫已培养毕业博士生26位，毕业硕士生78位。

芭芭拉·利斯科夫与John Guttag合著的《Abstraction and Specification in Program Developmen》（程序开发中的抽象概念和规范），这本书教育了几代学生如何编写优秀的软件。

人物评价

芭芭拉·利斯科夫在麻省理工学院受到尊敬，因为她是学者、导师和领导者。她的开创性研究使她成为世界领先的研究人员之一（Barbara is revered in the MIT community for her role as scholar, mentor and leader,said MIT President Susan Hockfield.Her pioneering research has made her one of the world's leading）。（时任麻省理工学院校长苏珊·霍克菲尔德评）

社会任职

芭芭拉·利斯科夫曾担任麻省理工学院的编程方法学小组负责人，以及ACM（美国计算机协会）编程语言与系统事务（TOPLAS）的副主编，也是ACM编程语言（SIGPLAN）、操作系统（SIGOPS）和数据库管理（SIGMOD）特别兴趣小组的成员，她还曾在美国国家科学基金会的计算机和信息科学与工程（CISE）咨询委员会以及美国国家研究委员会的计算机科学和电信委员会（CSTB）任职。