芭芭拉·利斯科夫
外观
芭芭拉·利斯科夫 (Barbara Liskov) | |
---|---|
出生 | Barbara Jane Huberman 1939年11月7日 洛杉矶, 加利福尼亚 |
国籍 | ![]() |
母校 | 加州大学伯克利分校 斯坦福大学 |
知名于 | |
奖项 | IEEE约翰·冯诺依曼奖(2004), 图灵奖(2008) |
科学生涯 | |
研究领域 | 计算机科学 |
机构 | 麻省理工学院 |
论文 | A Program to Play Chess End Games(1968) |
博士导师 | 约翰·麦卡锡[1] |
芭芭拉·利斯科夫(英语:Barbara Liskov,1939年11月7日—),本名芭芭拉·简·休伯曼(英语:Barbara Jane Huberman)。美国计算机科学家,[2]2008年图灵奖得主,[3][4]2004年约翰·冯诺依曼奖得主。[5]现任麻省理工学院电子电气与计算机科学系教授。[6]
简历
[编辑]1961年在加州大学伯克利分校获得数学学士学位。1968年在斯坦福大学获得博士学位,她是美国第一个计算机科学女博士。[7][8]导师为1971年图灵奖得主约翰·麦卡锡教授,论文题目是国际象棋残局程序。[9]
利斯科夫领导了许多重要的项目,包括小型低成本交互式的分时操作系统Venus,第一个支持数据抽象的面向对象编程语言CLU的设计与实现(1970年代),[10]第一个支持分布式程序实现的高级语言Argus(1980年代),[11]面向对象数据库系统Thor,还有最近的Byzantine分布式容错系统。[12]其中,CLU语言对现代主流语言如C++/Java/Python/Ruby/C#都有比较深远的影响。而她从这些实际项目中提炼出来的数据抽象思想,已经成为软件工程中最重要的精髓之一。
她另外一个在程序设计中有广泛应用的成就,是与周以真(Jeannette Wing)合作发展出子类型定义,并且一起提出的Liskov代换原则,这是面向对象程序设计中最重要的几大原则之一。
认可和奖励
[编辑]利斯科夫是美国工程院院士,美国艺术与科学院院士,美国计算机协会(ACM)会士。2002年,她被公认是在麻省理工学院顶级女性教师之一,在美国科学领域中的排名前50位大学教学人员之中。[13]
著作
[编辑]Program Development in Java,Addison-Wesley, 2001
参考资料
[编辑]- ^ 芭芭拉·利斯科夫在数学谱系计划的资料。
- ^ Barbara Liskov - A.M. Turing Award Winner. [2014-02-22]. (原始内容存档于2017-09-19).
- ^ Top prize in computing goes to MIT professor (页面存档备份,存于互联网档案馆) from the website of The Boston Globe
- ^ Barbara Liskov Wins Turing Award | March 10, 2009 (页面存档备份,存于互联网档案馆) from the Dr. Dobb's Journal website
- ^ IEEE John von Neumann Medal Recipients (页面存档备份,存于互联网档案馆) from the website of IEEE
- ^ Barbara Liskov (页面存档备份,存于互联网档案馆), Programming Methodology Group, MIT
- ^ Barbara Liskov -- Engineergirl. [2007-09-06]. (原始内容存档于2013-07-09). Profile from the National Academies of Engineering.
- ^ UW-Madison Computer Science Ph.D.s Awarded, May 1965 - August 1970. [2010-11-08]. (原始内容存档于2010-06-16). PhDs granted at UW-Madison Computer Sciences Department.
- ^ *Huberman (Liskov), Barbara Jane. A program to play chess end games. Stanford University Department of Computer Science, Technical Report CS 106, Stanford Artificial Intelligence Project Memo AI-65. 1968 [2014-02-22]. (原始内容存档于2014-01-09).
- ^ Barbara Liskov, Alan Snyder, Russell Atkinson, Craig Schaffert. Abstraction mechanisms in CLU. Communications of the ACM. 1977-08-01, 20 (8): 564–576 [2018-04-02]. ISSN 0001-0782. doi:10.1145/359763.359789.
- ^ Barbara Liskov. Distributed programming in Argus. Communications of the ACM. 1988-03-01, 31 (3): 300–312 [2018-04-02]. ISSN 0001-0782. doi:10.1145/42392.42399.
- ^ ACM Names Barbara Liskov Recipient of the 2008 ACM A.M. Turing Award. Association for Computing Machinery. [2009-03-10]. (原始内容存档于2012-07-16).
- ^ MIT's magnificent seven: Women faculty members cited as top scientists. MIT News Office (Cambridge, MA). 5 Nov 2002 [29 October 2012]. (原始内容存档于2014-01-09).
参阅
[编辑]外部链接
[编辑]- (英文)利斯科夫教授的主页 (页面存档备份,存于互联网档案馆)
- (英文)编程方法学群组 (页面存档备份,存于互联网档案馆)
- (英文)图灵奖新闻稿 (页面存档备份,存于互联网档案馆)
- (英文)National Public Radio,“科学日”利斯科夫专访,播出日期2009年3月13日
- 她改变了编程 - 知乎 (页面存档备份,存于互联网档案馆)
|
|
|
|