芭芭拉·利斯科夫

✍ dations ◷ 2025-10-09 18:53:47 #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

相关

  • 多效性基因多效性(pleiotropy)一个基因可以影响与其无关的性状特征的现象,简单地说就是可以由一个基因影响多个蛋白质的表达。一个基因基本上控制一个性状,若一个基因的突变可使多种性
  • 城镇等级城镇等级(英语:urban hierarchy,或称为城市等级)是根据国家定义的统计上的城镇区域内的人口规模,对各个城镇进行的等级排布。由于城镇人口取决于政府对都市圈的定义,因此城镇等级
  • 三板桥三板桥,是台北市的一个旧地名,位于今中山区的西南部,以及中正区的东北部,范围大致包括中山区正得里、正守里、正义里的全部、康乐里的西半部,以及中正区梅花里、幸福里、幸市里、
  • 金州勇士金州勇士(英语:Golden State Warriors,简称:GSW),是一支位于美国加利福尼亚州旧金山的职业篮球队,分属于NBA联盟西部联盟的太平洋赛区,主场球馆为大通银行中心。球队的格言为“全队
  • 白领社会白领族(英语:white-collar worker)是一个从西方传来的生活型态定义,经常拿来代表领较多薪水的专业人士。这个词可能最早是从1928年启用的,当时是代表非体力劳动的工作者,如公务员
  • 稗牙谷《稷田谷》(韩语:피아골,英语:Piagol),又译为《稗牙谷》,为1955年韩国战争电影,于1955年9月23日上映,片长106分钟,由韩国导演李康天(朝鲜语:이강천)执导,金炳沂监制,白狐电影制作公司出品、
  • 鸡公山坐标:31°47′58″N 114°05′00″E / 31.79944°N 114.08333°E / 31.79944; 114.08333鸡公山属大别山支脉,地处河南省、湖北省两省交界处。主峰“鸡公头”又名“报晓峰”,海
  • 俄罗斯河流列表俄罗斯河流列表,列举全部或部分流经俄罗斯的河流,并依流域的地理位置由西至东排序。支流则由河口至源头排序。
  • 巴尔蒂斯巴尔蒂斯(波兰语:Balthus,1908年2月29日-2001年2月18日),原名巴尔塔扎·克洛索夫斯基·德罗拉(波兰语:Balthasar Klossowski de Rola),波兰裔法国具象派画家。其作品既广受推崇,又极富
  • 迈克·曼斯菲尔德迈克尔·约瑟夫·曼斯菲尔德(英语:Michael Joseph Mansfield,1903年3月16日-2001年10月5日),美国政治人物、外交官。曼斯菲尔德基金会(英语:Maureen and Mike Mansfield Foundation)