芭芭拉·利斯科夫

✍ dations ◷ 2025-01-31 13:55:11 #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

相关

  • 胰脏胰脏也称胰腺(英语:Pancreas),旧称膵、脺,脊椎动物具有外、内分泌功能的腺体;外分泌由腺泡、连通肠腔的导管组成,腺泡分泌多种消化酶,导管上皮细胞分泌碳酸氢盐、钠、钾、氯等离子和
  • 美服培酮美服培酮 (Mifepristone,又称RU-486),中国大陆译米非司酮,是口服堕胎药,常与米索前列醇并用以终止妊娠。这种配方在妊娠前50天有95%的成功率,在怀孕中期也相当有效 。在施药后两周
  • 阿扎瓦德民族解放运动阿扎瓦德民族解放运动(阿拉伯语:الحركة الوطنية لتحرير أزواد‎,法语:Mouvement National pour la Libération de l'Azawad,简称MNLA),以前的名称是阿扎
  • 实名制网络实名制是在一些国家和地区实行的法规, 顾名思义,此法规就是要求所有使用网络及服务的人或群体必须要以真实姓名出现或登记。最早实施网络实名制的国家为南韩,如今网络实名
  • 图片图像是人对视觉感知的物质再现。图像可以由光学设备获取,如照相机、镜子、望远镜及显微镜等;也可以人为创作,如手工绘画。图像可以记录、保存在纸质介质、胶片等等对光信号敏感
  • 自杀报导的六不六要自杀报导的六不六要是世界卫生组织在2000年时在《自杀预防:给媒体从业人员的指引》(PREVENTING SUICIDE A RESOURCE FOR MEDIA PROFESSIONALS)中提到,有关大众媒体报导自杀新闻
  • 次结构前子(英语:Preon)是在理论上构成夸克和轻子的亚原子粒子。这个粒子的名称首先由乔杰什·帕蒂(英语:Jogesh Pati)和阿卜杜勒·萨拉姆于1974年提出。
  • 天兴县天兴县,台湾明郑时期时的两个县级行政区之一,郑经统治时将县改制为散州,台湾为清朝统治后,原天兴县疆域被分成了台湾府底下的诸罗县与台湾县。另外台南县政府于1983年9月在其底
  • 公视台语台公视台语台是公共电视文化事业基金会的电视频道之一,前身为2004年7月1日开播的“Dimo TV”、以及2012年10月1日更名的“公视2台”,2019年7月1日改为现名,成为台湾第一个以全台
  • 比尔·扬比尔·扬(英语:Charles William "Bill" Young,1930年12月6日-2013年10月18日)美国共和党籍政治人物。1971年至2013年担任佛罗里达州选出的联邦众议员。1999至2005年众院拨款委员