芭芭拉·利斯科夫
2008年图灵奖得主
芭芭拉·利斯科夫(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编程语言的设计和实现,该语言强调模块化编程、数据抽象和多态性的概念,这些概念是现代计算机语言(如Javac#)中使用的面向对象编程的基础;创建了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)。(加拿大信息处理学会评)
最新修订时间:2024-10-30 09:38
目录
概述
人物经历
参考资料