芭芭拉·利斯科夫

✍ dations ◷ 2025-06-08 07:21:13 #1939年出生,在世人物,图灵奖获得者,美国国家工程院院士,美国文理科学院院士,美国计算机科学家,女性计算机科学家,编程语言设计者,美国女性科学家,麻省理工学院

芭芭拉·利斯科夫(英语:Barbara Liskov,1939年11月7日-),本名芭芭拉·简·休伯曼(英语:Barbara Jane Huberman)。美国计算机科学家,2008年图灵奖得主,2004年约翰·冯诺依曼奖得主。现任麻省理工学院电子电气与计算机科学系教授。

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

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

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

利斯科夫是美国工程院院士,美国艺术与科学院院士,美国计算机协会(ACM)会士。2002年,她被公认是在麻省理工学院顶级女性教师之一,在美国科学领域中的排名前50位大学教学人员之中。

,Addison-Wesley, 2001

相关

  • 异丙安替比林异丙安替比林(英语:Propyphenazone)是一种安替比林的衍生物,具有类似的止痛药和退烧药(英语:antipyretic)作用。
  • 果蝠10种,见本文果蝠属(学名:Rousettus),哺乳纲翼手目狐蝠科的一属,而与果蝠属(棕果蝠)同科的动物尚有灰果蝠属(灰果蝠)、球果蝠属(布氏球果蝠)、狐蝠属(游狐蝠)、锥齿狐蝠属(锥齿狐蝠)等之数种
  • Barbier反应巴比耶反应(Barbier reaction)是一个有机反应。它是指在羰基化合物等亲电试剂的催化下,卤代烃和铝、锌、铟、锡等金属或者其盐类等作用生成有机金属试剂,并与反应体系中的羰基化
  • 经度经度是一种用于确定地球表面上不同点东西位置的地理坐标。经度是一种角度量,通常用度来表示,并被记作希腊字母λ(lambda)。子午线穿过南极和北极并把相同经度的点连起来。按照
  • 铜质铜是大多数动物的组成成分和必须的营养素,铜缺乏可导致生长和代谢的紊乱。一个多世纪以来,已知铜是呼吸色素的必须成分,并在越来越多的蛋白质和酶中检测到。1847年Harless就指
  • 黄豆酱黄酱,用黄豆为原料,经过发酵加工,添加各种香料,呈粘稠状态的调味品,是中国菜的主要调料。黄酱可以用于烹调菜肴,也可以直接佐餐,例如北京的风味小吃“炸酱面”,就是用炸香的黄酱拌煮
  • QS《QS世界大学排名》(英文:QS World University Rankings)为英国Quacquarelli Symonds发表的年度大学排行榜。QS公司最初与《泰晤士高等教育》增刊合作,两者于2004-2009年期间联
  • 格鲁特岛格鲁特岛(荷兰语:Groote Eylandt)是澳大利亚北领地的卡奔塔利亚湾的最大岛屿,也是澳大利亚全国的第四大岛屿,面积有2326平方公里。位于安海姆地以东50公里。1623年威廉船长(Willem
  • 科罗拉多河 (消歧义)科罗拉多河,是常见的西班牙语河流名称,著名的科罗拉多河有:
  • 藏族节日藏族节日因藏传佛教的影响而有着浓厚的宗教色彩,其中藏历新年是藏族最重要的节日。藏族节日一般以藏历推测,个别藏区则以农历为准。