芭芭拉·利斯科夫(Barbara Liskov),1939年11月7日出生于
美国加利福尼亚,计算机科学家,2008年
图灵奖获得者,
美国国家工程院院士,
美国艺术与科学院院士,
ACM fellow(美国计算机协会会士)。
人物经历
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。
[1]Barbara Liskov,Robert W Scheifler.Guardians and actions: linguistic support for robust, distributed programs[J].ACM Transactions on Programming Languages and Systems (TOPLAS),1983.
[2]Barbara Liskov.Keynote address - data abstraction and hierarchy[J].ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applicat... (OOPSLA),1988.
[3]Andrew C. Myers,Barbara Liskov.Protecting privacy using the decentralized label model[J].ACM Transactions on Software Engineering and Methodology (TOSEM),2000.
[4]Rodrigo Rodrigues,Barbara Liskov.High availability in DHTs: erasure coding vs. replication[J].International Workshop on Peer-to-Peer Systems (IPTPS),2005.
[5]Stephen Tu,Wenting Zheng,Eddie Kohler,Barbara Liskov,Samuel Madden.Speedy transactions in multicore in-memory databases[J].Symposium on Operating Systems Principles (SOSP),2013.
人才培养
截止到2009年8月,芭芭拉·利斯科夫已培养毕业博士生26位,毕业硕士生78位。
芭芭拉·利斯科夫与John Guttag合著的《Abstraction and Specification in Program Developmen》(程序开发中的抽象概念和规范),这本书教育了几代学生如何编写优秀的软件。
荣誉表彰
社会任职
芭芭拉·利斯科夫曾担任麻省理工学院的编程方法学小组负责人,以及ACM(美国计算机协会)编程语言与系统事务(TOPLAS)的副主编,也是ACM编程语言(SIGPLAN)、操作系统(SIGOPS)和数据库管理(SIGMOD)特别兴趣小组的成员,她还曾在
美国国家科学基金会的计算机和信息科学与工程(CISE)咨询委员会以及美国国家研究委员会的计算机科学和电信委员会(CSTB)任职。
人物评价
芭芭拉·利斯科夫在麻省理工学院受到尊敬,因为她是学者、导师和领导者。她的开创性研究使她成为世界领先的研究人员之一(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)。(时任麻省理工学院校长
苏珊·霍克菲尔德评)
她(芭芭拉·利斯科夫)的开创性研究彻底改变了编程领域,为消费者和企业提供了几乎所有现代计算机应用的基础(She revolutionized the programming field with groundbreaking research that underpins virtually every modern computer application for both consumers and businesses)。(加拿大信息处理学会评)