芭芭拉·利斯科夫

✍ dations ◷ 2025-04-17 19:40:49 #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

相关

发展援助发展援助（Development aid）指以促进发展中国家的发展为目的的国际间实物资源或资金转移。一般是由发达国家提供各种援助资源。
大角鹿大角鹿（学名Megaloceros giganteus），又名巨大角鹿、巨型鹿或爱尔兰麋鹿，是体型最大的鹿。它生存于更新世晚期及全新世早期的欧亚大陆，由爱尔兰至贝加尔湖东。最近年代的化石约为
超个体超个体（英语：superorganism，又称超有机体）是一个由许多有机体组成的有机体系。这通常意味着是一个真社会性动物的社会单位，在那里社会分工被高度专业化，且个体无法独自长时间地生
新闻史中国新闻史，中国新闻业发展的历史。戈公振于1927年11月，由上海商务印书馆出版《中国报学史》（分六章，28.5万字），被认为是第一部系统研究中国报业发展史的专著。1930年代林语堂用英
海盐海盐为食用盐的一种，通过晒干海水以获得海水中的盐分。可以用于烹调和化妆。虽然很多精盐也来自海盐，但并未表明为海盐，颗粒细小。市售海盐一般颗粒较大，价钱比一般的食盐要贵很
紫杉醇紫杉醇（英文：paclitaxel, PTX，或称太平洋紫杉醇），是一种用来治疗多种癌症的化疗药物，被以汰癌胜等商品名称销售。可治疗的癌症包含卵巢癌、乳癌、肺癌、卡波西氏肉瘤、子宫颈癌、
20号染色体 (人类)人类的20号染色体是23对染色体的其中之一，正常状况下每个细胞拥有两条。此染色体含有大约6300万个碱基对，占细胞内所有DNA的2%到2.5%。其中有超过900个基因，依预测方式而有所不
法国君主列表法国君主列表从第一位法兰克人之王法拉蒙德开始列起。法兰西君主（法语：monarque de France）自中世纪开始统治法兰西，其正式头衔起先是“王”（法语：Roi），拿破仑一世增加了“皇帝”（法
苏铁目苏铁目（学名：Cycadales）统称苏铁，是苏铁纲（Cycadopsida）中一个唯一目，也是苏铁门植物唯一现存的群类，共有3科，10至12属约305种，分布在全球的热带和亚热带地区。本科植物为常绿乔木或灌
匈牙利国家手球队匈牙利国家手球队是匈牙利的国家男子手球队，由匈牙利手球联盟（MKSZ）管理。匈牙利是欧洲手球强队，在奥运会上五次进入。近年匈牙利在2004年和2012年奥运会手球比赛上都打入四强。