芭芭拉·利斯科夫

维基百科,自由的百科全书
跳转至: 导航搜索
芭芭拉·利斯科夫
(Barbara Liskov)
192 x 160
出生 Barbara Jane Huberman
1939年11月7日 (1939-11-07)(74歲)
加州
国籍 美国
研究領域 计算机科学
任职於 麻省理工学院
母校 加州大学伯克利分校
斯坦福大学
博士導師 约翰·麦卡锡[1]
獲獎 IEEE约翰·冯诺依曼奖,
图灵奖

芭芭拉·利斯科夫Barbara Liskov,1939年11月7日),本名Barbara Jane Huberman。美国计算机科学家,[2]2008年图灵奖得主,[3][4]2004年约翰·冯诺依曼奖得主。[5]现任麻省理工学院电子电气与计算机科学系教授。[6]

簡歷[编辑]

1961年在加州大学伯克利分校获得数学学士学位。1968年在斯坦福大学获得博士学位,她是美国第一个计算机科学女博士。[7][8]导师为1971年图灵奖得主约翰·麦卡锡教授,论文题目是国际象棋残局英语Chess endgame程序。[9]

利斯科夫领导了许多重要的项目,包括小型低成本交互式的分时操作系统Venus,第一个支持数据抽象面向对象编程语言的CLU的设计与实现(1970年代),[10]第一个支持分布式程序实现的高级语言Argus(1980年代),[11]面向对象数据库系统Thor,还有最近的Byzantine分布式容错系统。[12]其中,CLU语言对现代主流语言如C++/Java/Python/Ruby/C#都有比较深远的影响。而她从这些实际项目中提炼出来的数据抽象思想,已经成为软件工程中最重要的精髓之一。

她另外一个在程序设计中有广泛应用的成就,是与周以真(Jeannette Wing)合作发展出子类型定义,并且一起提出的Liskov代換原則,这是面向对象程序设计中最重要的几大原则之一。

認可和獎勵[编辑]

利斯科夫是美国工程院院士,美国艺术与科学院院士,美国计算机协会(ACM)会士。2002年,她被公認是在麻省理工學院頂級女性教師之一,在美國科學領域中的排名前50位大學教學人員之中。[13]

参看[编辑]

参考资料[编辑]

  1. ^ 芭芭拉·利斯科夫數學譜系計畫的資料。
  2. ^ Barbara Liskov - A.M. Turing Award Winner
  3. ^ Top prize in computing goes to MIT professor from the website of The Boston Globe
  4. ^ Barbara Liskov Wins Turing Award | March 10, 2009 from the Dr. Dobb's Journal website
  5. ^ IEEE John von Neumann Medal Recipients from the website of IEEE
  6. ^ Barbara Liskov, Programming Methodology Group, MIT
  7. ^ Barbara Liskov -- Engineergirl. [2007-09-06].  Profile from the National Academies of Engineering.
  8. ^ UW-Madison Computer Science Ph.D.s Awarded, May 1965 - August 1970. [2010-11-08].  PhDs granted at UW-Madison Computer Sciences Department.
  9. ^ *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. 
  10. ^ Liskov, B.; Snyder, A.; Atkinson, R.; Schaffert, C. Abstraction mechanisms in CLU. Comm. ACM. August 1977, 20 (8): 564–576 [24 May 2013]. doi:10.1145/359763.359789.  编辑
  11. ^ Liskov, B.. Distributed programming in Argus. Comm. ACM. March 1988, 31 (3): 300–312. doi:10.1145/42392.42399.  编辑
  12. ^ ACM Names Barbara Liskov Recipient of the 2008 ACM A.M. Turing Award. Association for Computing Machinery. [2009-03-10]. 
  13. ^ MIT's magnificent seven: Women faculty members cited as top scientists. MIT News Office (Cambridge, MA). 5 Nov 2002 [29 October 2012]. 

著作[编辑]

Program Development in Java,Addison-Wesley, 2001

外部連結[编辑]