巾帼不让须眉，改变计算机世界的女人

　　——2008年度图灵奖获得者Barbara Liskov

　　文/吕娜

　　她是美国第一位计算机科学女博士，是第二位获得图灵奖的女科学家；每一种主流汇编语言都受其深远影响。她，就是芭芭拉·利斯科夫 (Barbara Liskov)。

　　剑桥大学计算机女科学家Karen Sparck Jones的名言广为流传：“计算机是如此重要，因此不能把它只留给男人去做！”计算机世界如此多娇，引无数女英雄竞折腰。有“计算机界诺贝尔奖”之称的图灵奖曾由男性垄断40年，今年6月，2008年度图灵奖将第二次授予女性科学家——Barbara Liskov，以表彰她对编程语言和系统设计方面所做出的实践与理论基础，尤其是数据抽象、容错和分布式计算方面的贡献。

　　Barbara Liskov，本名Barbara Jane Huberman，1939年生于加利福尼亚，是家中四个孩子的长女。1961年在加州大学伯克利分校获得数学学士学位，作为班上唯一的两名女生之一，她一直保持低调。

　　20世纪60年代，计算机科学成为一种职业，那时的科研环境对女性来说相当寒冷。作为一个在“男人”领域工作的妇女，Liskov经历了许多尴尬。本科毕业后她申请普林斯顿大学的研究生，但获得冰冷的回复：普林斯顿不接纳女性，无论是否具有本科或研究生水平。不久后，她在Mitre公司找到一份工作，同期入职的男同事没有更好的资格，却具有更好的职位和工资。Liskov无视这种公开对妇女的歧视，她有一种安静的自信，没有她不能克服的障碍。 她认为，“发生的不公平的事情，并不与我直接相关，我想也许正是这种态度，使我已经适应这些年来此类处境。”

　　1968年Liskov在斯坦福大学计算机科学系获得博士学位，导师为1971年图灵奖得主约翰·麦卡锡。Liskov的博士论文题目是国际象棋残局程序，这篇论文是一个里程碑，至今仍在被引用。可以说，她是历史上为数不多的与程序设计直接相关，或者说程序员出身的图灵奖得主。

　　经过多年的努力，Liskov成为男性主导的计算机科学世界里最鲜艳的一抹亮色。在鲜有女性担任教师的1972年，她击败了一些强有力的男性竞争者，成为麻省理工学院的第二位女教师（计算机系的第一位）。2001至2004年，Liskov在麻省理工担任了3年计算机系副主任，这是第一位担任此职位的女性。 但与之相比，她更热衷于研究工作，在过去的30多年中，她的研究成果给整个计算机科学带来深远的影响。

　　Liskov最重要的科研成果是为推动数据抽象使用所做的贡献，她在此领域的创新使得软件更易于编写、修改和维护，极大地提高了计算机软件的可靠性、安全性和易用性。Liskov领导了许多的重要项目，包括设计与实现了小型、低成本、交互式的分时操作系统Venus，面向对象数据库系统Thor，还有最近的Byzantine分布式容错系统。从实际项目中提炼出来的数据抽象思想，已经成为软件工程的重要精髓。

　　20世纪70年代早期，Liskov发明了2种计算机语言：CLU（一种支持数据抽象的面向对象编程语言）和Argus（一种分布式程序实现的高级语言）。这些研究成果成为现代编程语言的基础，支撑起整个现代应用软件行业，每一种主流汇编语言都受到其深远的影响，如C++、Java、Python、Ruby、C#。她与亚裔女科学家周以真一起提出的Liskov替代原则，是程序设计中另一个广泛应用的成就。这个原则已成为面向对象最重要的原则之一。

　　Liskov现任麻省理工学院电子电气与计算机科学系教授，美国工程院院士，美国艺术与科学院院士，美国计算机协会（ACM）成员，三本书的作者，发表技术论文一百多篇。2004年Liskov还被授予约翰·冯诺依曼奖章，以表彰她在编程语言和系统设计方面的卓越贡献。麻省理工官员拉斐尔·雷夫表示：“她的杰出成就已经跨越了学术界的高墙，改变世界每日的生活。你每次和朋友交换邮件，检查银行账户，或者是搜索Google，你都在利用Liskov的研究成果。”