芭芭拉·利斯科夫

✍ dations ◷ 2025-10-30 02:56:04 #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

相关

  • 异营异营生物(英语:heterotroph)指不能直接以无机物或有机物,必须摄取现成的养分来维持生存机能的生物。异营生物包括捕食、寄生和腐生三种。 异营性动物细胞需要的物质为水和矿物质
  • 药品效应动力学药物效应动力学(英语:Pharmacodynamics (PD) ),简称药效学,是药理学的一个分支,主要研究药物作用(action)与药理效应(effects)(即药物对机体的作用及作用机制(mechanism of action)
  • 邝宇平邝宇平(1932年11月9日-),生于北京,籍贯广东台山,中国理论物理学家,兰州大学、清华大学教授。1955年毕业于北京大学物理系。2003年当选为中国科学院院士。
  • 甲状腺机能低下甲状腺机能低下症(Hypothyroidism),又称作甲状腺功能减退症,或是简称甲减,是一个因甲状腺无法分泌足够的甲状腺激素的内分泌疾病。此病可以造成很多症状,像是畏寒、疲劳、便秘、抑
  • 多元文化多元文化是由不同信念、行为、肤色、语言的文化组成,彼此关系是相互支持且均等存在。指不同文化之间,互相接触与影响,导致彼此互相刺激、学习、融合或冲突的过程。不同的文化体
  • 潜在热带气旋潜在热带气旋(英语:Potential Tropical Cyclone)指的是近岸热带扰动将于48小时之内命名,并且有极大几率吹袭陆地的一种分级。美国气象局会对这种分级的热带系统发布预警信号。美
  • 当代中国问题研究院南开大学当代中国问题研究院,是南开大学于2011年成立的研究机构,位于南开大学八里台校区文科创新楼。该研究院致力于当代中国社会发展问题的理论研究。南开大学校长龚克担任院
  • 哈斯高娃哈斯高娃(1962年-),出生于内蒙古赤峰,中国大陆女演员。2001年获第八届中国电影金凤凰奖表演学会奖。
  • 血管摄影血管摄影,或称动脉摄影、血管造影,是一种医学影像技术,用x光照射人体内部,观察血管分布的情形,包括动脉、静脉或心房室。葡萄牙籍医师兼神经学家Egas Moniz(1949年诺贝尔奖的得主)
  • 捷豹XJ捷豹XJ(Jaguar XJ),是英国汽车品牌捷豹自1968年以来销售的一系列大尺寸豪华汽车的名称。自1970年以来,它们一直是捷豹的旗舰车种。原始的车型是最后一代小轿车,由该公司创办人威