芭芭拉·利斯科夫

✍ dations ◷ 2025-05-10 10:25:59 #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

相关

  • 希尔德里克一世希尔德里克一世(法语:Childéric Ier,440年-481年6月26日),自457或​​458年起任萨利昂法兰克人国王。他的名字来自法兰克语hild-“战斗”和-rik“强大”,Childericus是其拉丁文形
  • 在24个国家跨国公司、多国公司(英语:Multinational Corporation,MNC),经常被称为跨国企业(英语:Multinational Enterprise,MNE),是在世界多国有营运,且规模庞大的股份有限公司。它们在不同的国家
  • 氏族部落氏族之成员一般有一共同祖先或有一想象的共同祖先,其成员一般不会是另一个氏族的成员,成员之间有特别密切的关系、权利和义务,氏族有自己独特的称号,一般来说氏族内部成员之间不
  • 北北桃北北桃是台湾北部台北市、新北市、桃园市3个位于北台湾的直辖市的合称(有时亦加入基隆市),依2018年10月的统计资料,人口共8,877,780人,三者因交通往来便利,常被合称为北北桃都会区
  • 大胆岛战役大担岛战役,是一场发生于1950年第二次国共内战的小型战斗。解放军在战前的口号是“要保证放响进攻金、台的第一炮,坚决打下大、二胆。”1950年7月26日19时30分,中国人民解放军
  • ʎ硬颚边音是辅音的一种,用于一些语言口语中。国际音标中的符号是⟨ʎ⟩(倒置小写y),X-SAMPA符号则为⟨L⟩。硬颚边音的特点有:在很多语言中硬颚边音已经与其他音合并,转变为硬颚近
  • 埃尔多拉多国家森林埃尔多拉多国家森林(英语:Eldorado National Forest)是美国的一处国家森林,1910年7月28日建立,位处加利福尼亚州东部内华达山脉,占地面积596,724英亩(2,414.86平方千米),最近的城市为
  • SH2结构域结构 / ECOD1k9aB:82-156 1jwoA:122-196 1a81G:168-2441cszA:168-244 1csyA:168-244 1m61A:163-2391nrvB:493-574 1mw4A:431-512 2augA:439-5202shpA:112-197
  • 地中海松地中海松(学名:),或称阿勒颇松,是松属下的一种乔木,原产于地中海周边所有低海拔地区。地中海松一般所处高度为200米(660英尺)以下,但在西班牙南部可长到1,000米(3,300英尺),克里特岛则可
  • 迪恩·琼斯 (演员)迪恩·卡罗·琼斯(英语:Dean Carroll Jones,1931年1月25日-2015年9月1日),是一位美国籍的演员。他以演出1965至1977年间的迪士尼电影而知名。他擅长演绎糊涂或无忧无虑的角色,例如