美国第一位计算机科学女博士、第二位女性“图灵奖”得主

刘瑞挺

芭芭拉•莉斯科芙(Barbara Jane Huberman Liskov) 1939年11月7日生于美国加州洛杉矶市。1961年在加州大学伯克利分校取得数学学士学位,此后去麻省,作为计算机程序员先后进入Mitre公司和哈佛大学工作。1963年,她重新回到旧金山,进入斯坦福大学人工智能项目组,作约翰•麦卡锡教授(1971年“图灵奖”得主)的研究生。1965年获硕士学位,1968年获得计算机科学博士学位,成为全美国第一位计算机科学女博士。在麦卡锡教授的指导下,她的博士论文是编计算机下棋残局的程序(Dissertation: A Program to Play Chess End Games)。

离开斯坦福大学,芭芭拉•莉斯科芙重新回到Mitre公司(1968–1972)工作,此后她成为MIT电气电子与计算机科学系的教授,直到现在。1986–1997年,她担任软件科学与工程的NEC教授,1997年后担任计算机工程的Ford教授,2008年后担任MIT的研究教授,这是MIT的最高荣誉。芭芭拉•莉斯科芙培养了25位博士生,她的这些学生又培养了81位博士生。

2009年3月10日,美国计算机协会(ACM)宣布2008年度“图灵奖”授予芭芭拉•莉斯科芙,以表彰她在编程领域的奠基性贡献。ACM的颁奖词是:表彰她“在编程语言和系统设计,特别是在数据抽象、容错和分布式计算方面对实践与理论基础的贡献”(For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing)。

莉斯科芙领导了许多重要的项目,包括小型低成本交互式的分时操作系统设计范例Venus、第一个支持数据抽象的面向对象编程语言CLU的设计与实现、第一个支持分布式程序实现的高级语言Argus、面向对象数据库系统Thor,还有最近的Byzantine分布式容错系统。其中,CLU语言对现代主流语言,如C++/Java/Python/Ruby/C#都有比较深远的影响,而她从这些实际项目中提炼出来的程序模块化和数据抽象思想,已经成为软件工程中最重要的精髓之一。她的另一个在程序设计中广泛应用的成就,是与周以真(Jeannette Wing)一起提出的Liskov替换原则,即“派生类(子类)对象能够替换其基类(超类)对象被使用”——这是面向对象最重要的原则之一。华裔女教授周以真现在是卡内基梅隆大学计算机系系主任。

美国计算机协会认为,莉斯科芙在计算机编程领域带来了革命性的创新。MIT官员拉斐尔•雷夫表示:“她的杰出成就已经跨越了学界的高墙,改变世界的日常生活。你每次和朋友交换邮件,检查银行账户,或者是搜索Google,都是在利用莉斯科芙的研究成果。”

莉斯科芙早期在计算机软件设计领域的成就已经被纳入到多种计算机编程语言中,她在程序模块和数据抽象上的研究成果帮助软件更加容易编写、修改和维护。莉斯科芙表示,她的工作和“模块化”有关系,将复杂的系统拆分成小的模块,使它们变得更简单。

2009年6月27日,在加州圣迭戈举行了“图灵奖”的颁奖仪式。图1为授奖晚宴留念,从左向右为:ACM 2008年主席Dame Wendy Hall(大英帝国女勋爵、英国南安普敦大学教授、英国计算机协会会长),英特尔公司企业技术事业部副总裁兼英特尔研究部门总监钱安达(Andrew Chien),谷歌副总裁Alfred Z. Spector,芭芭拉•莉斯科芙,ACM CEO约翰•怀特(John R. White )。

从1968年全美第一位计算机科学女博士,到2008年全世界第二位女性“图灵奖”得主,芭芭拉•莉斯科芙辛勤工作了整整40年。