论文部分内容阅读
1961年,当时还名为芭芭拉·休伯曼(Barbara Huberman)的芭芭拉·利斯科夫(Barbara Liskov)在美国加州伯克利大学获得数学学士学位后,决定申请普林斯顿大学研究生院。
普林斯顿大学回信说不接收女学生。利斯科夫表示,现在回想起来, “我当时收到这样的回信感到很吃惊,当时自已比较天真,就这样被他们轻易的打发走了。”
那时很多女性都知道她们在某些领域并不受欢迎,但利斯科夫从不考虑这些,她从来不在乎什么是允许或不允许她去做的,而这种性格造就了她伟大的一生。1968年,利斯科夫成为第一个在美国拿到计算机博士学位的女性,她现在已经是麻省理工学院电子工程与计算机科学院的教授,以及人工智能实验室程序设计组的主任。她在操作系统、分布式系统、编程语言及方法论等领域的研究都获得了重大突破。她的思想促使了现代编程语言基础的形成,比如Java语言,它将数据与指令组合在一起,可以一次开发并在多个终端复用。她对于如何保证分布式系统可靠性的研究为很多成果奠定了根基,比如谷歌遍布世界的服务器架构。2009年夏天,美国计算机协会为她颁发了图灵奖,这项荣誉被称为“计算机界的诺贝尔奖”。
“如果没有芭芭拉的诸多开创性的重大贡献,很难想象今天的编程与分布式系统将是什么样子。”约翰·古塔格(John Guttag)说道。古塔格是麻省理工学院计算机科学与工程学院的教授,他认识利斯科夫已经30多年了,他在2008年曾写信力荐芭芭拉成为麻省理工学院学院教授。同时,也是古塔格提名利斯科夫为图灵奖候选人,他指出,推荐利斯科夫的很多著名计算机科学家“都同意她的研究成果很丰硕”,但“究竟其中的哪项研究最伟大就有所争议了”。古塔格认为,这恰好证明了利斯科夫的研究范围的广度和深远影响。
利斯科夫一直留着齐边卷发,总喜欢穿着奇奇怪怪的袜子。她并不在意那些曾经获得的成就或荣誉。除了图灵奖外,她还在2004年获得了电气和电子工程师协会颁发的冯诺·依曼奖(John yon Neumann Medal)。在计算机这个由男性主宰的领域中,她走出了属于自己的路。
芭芭拉·利斯科夫的职业生涯从计算机领域起步时就开始了。毕业后她并没有继续在数学领域深造,而是在一家位于波士顿的非营利组织Mitre工作。在联邦政府的资助下,该组织从事系统工程与信息技术领域的研究。那时,几乎没有人对计算机领域有经验。“一些人曾当过工程师,而其他人可能是文科毕业的。”利斯科夫回想当年, “那时庸人是看某人是否有兴趣干这个。”
后来利斯科夫参与了哈佛大学的一项研究,自动将英语句子翻译为计算机可以理解的语言。尽管自然语言处理是计算机科学直到目前都一直在研究的难题,但当时人们认为这个问题几年就可以攻破。
她从这项工作中学习到很多,但利斯科夫决定重返校园,更快地吸纳更多知识。她决定前往斯坦福大学,那里即将开设计算机科学的博士课程。
尽管她之前研究的是人工智能领域,但利斯科夫发现她真正的兴趣是计算机设计的基础——操作系统与编程语言。她觉得人工智能提出了一系列难题,并且进展缓慢。但在计算机系统的研究方面, “你可以开发应用程序去真正实现某些操作。”她说, “我只是想在那些更容易取得进步的领域进行科学研究。”
离开斯坦福大学后,利斯科夫作为一名研究员重回Mitre,随后她立马加入到研发Venus操作系统的项目中,这是一项允许多人同时操作同一台小型计算机的研究。因为浏览了很多关于程序设计的文献, “我当时想设计一种不同于人们通常所讨论的操作系统。”她尽可能简单地定义了操作系统,跳出了先前诸多复杂定义的束缚,新的系统破茧成型。
利斯科夫向操作系统原理研讨会提交了一篇有关Venus操作系统的文章,该会议吸引了众多学术界与工业界的研究者。现在是麻省理工学院计算机系终身教授的杰瑞·萨特尔(Jerry Salter)当时看到利斯科夫的报告后,鼓励她去麻省理工学院教课。1972年,利斯科夫成为麻省理工学院计算机专业第一名女性教师。
在麻省理工学院,利斯科夫全身心地将其想法投入到系统研究中。她与研究生斯蒂文·齐勒斯(Steve Zilles)合作,想到许多有关如何管理计算机程序以使其更容易编写、修改与维护的点子。
任何复杂的软件程序都是由许多部分组成的复杂关系结构,通常需要一组工程师花很长时间才能修改。任何改变都会对软件的其他部分造成影响,这就需要程序员从根本上重写程序。利斯科夫通过将程序离散化解决了这个问题,这样改动将更少地影响特定模块之外的代码。
因为很难将自己的思想向程序员说明,利斯科夫设计了一种编程语言,将其思想直接置入其中。“我对于程序的好坏有很强的直觉。”她说,“我想让人们更容易地写出好程序,虽然没法阻止人们写烂程序,但可以使他们不那么容易写出烂程序。”
她设计的编程语言叫做CLU,该语言对新一代语言设计者有着深远影响。这是第一种支持数据抽象化的语言,利斯科夫发明的这种技术成为了高级编程语言的基础,其中还引入了其他特性,比如为一般程序处理迭代所用的技术。事实上,该语言对于当今主流的面向对象程序设计的发展有至关重要的作用。
20世纪80年代,利斯科夫对如何支持互联网上的应用产生兴趣。对此,她开始思考如何让程序分离,这样可以使每部分程序运行在许多互联的计算机上。此外,她设计了一种可利用闲置机器的新协议,这样的分布式系统可以防止计算机、通信连接,以及磁盘存储中不可避免的错误,且不必将它们分离。她的研究可解释为什么谷歌的搜索引擎可以在全球范围内人们同时添加、修改、删除数据的情况下保持工作。
“那时许多人开发的程序对20世纪80年代的系统很有用,但对于2000年后的系统则没什么用。”古塔格说, “但芭芭拉在20世纪80年代开发的程序和如今的程序设计仍然有所关联,甚至比原先更加有用。”事实上他认为,“人们对复杂系统提出苛刻要求的一个原因是,芭芭拉向人们证明了,构建出可靠的系统是可以做到的。”
如今,利斯科夫表示她对在线信息存储的安全问题很感兴趣,特别是如医疗记录这样的个人信息的安全。和原先一样,她致力于设计能促进良好编程习惯的系统。她问道: “往平台中添加什么可以使程序员更容易开发出不会泄露信息的程序呢?”
利斯科夫意识到,信息泄露的方式多种多样,多到以至于看来无法解决。她现在的研究着重于那些最常见的数据保护问题,比如笔记本丢失,或不小心将私密的电子邮件信息发给陌生人所引起的信息泄露。在政策制定者与倡议者对未来网上隐私进行争论之时,利斯科夫选择安静地进行学术研究,确保人们需要的时候已经有相应的解决方案。她说:“当我们在讨论新技术时,应该考虑到政策法规总是比新技术慢一拍。”
利斯科夫一直以来都不遗余力地鼓励并帮助女性学生,并 且在最近几年,她对如何使计算机科学领域更受大众欢迎而投入了大量精力。作为麻省理工学院负责教师管理的副教务长,利斯科夫雇佣了更多的女性及少数族群的员工,并帮助他们管理和改善自己的职业生涯。如今的麻省理工学院,已经与20世纪70年代她加入的时候风格迥异,那时的女性教职员工的数量掰手指便可数出来。利斯科夫说,尽管那时并没遇到很大的偏见,但还是要与一些根深蒂固的思想做斗争。利斯科夫亲身经历过,在校长办公室举行的欢迎新教职员工的聚会上,一位重要的嘉宾走向她丈夫并伸手说“欢迎来到麻省理工学院”。一些学生有时把她当作秘书,她还在课堂上经历了来自学生们的“相当多的考验”。
利斯科夫表示,作为早期计算机科学领域的女科学家,不能太在意这些“阻碍”。虽然这些阻碍并没有怎么困扰她,但开始来自社会的并不高的期待,使她也一度看轻了自身工作的重要性,直到她的研究走向成熟。
“即使在我拿到博士学位以后,我也总在想,我可能会工作一阵,然后当我有了家庭可能就不工作了。”她说,“在Mitre工作的那段时间,我意识到我并不想就这样停下来。”她的丈夫,内森·利斯科夫Nathan Liskov(60届校友)是一名电气工程师,他们在1970结为夫妇,即使是在1975年儿子莫斯出生后,他也支持芭芭拉继续工作下去。
在计算机领域外,利斯科夫也有着广泛的兴趣爱好,包括园艺和阅读神秘小说,特别喜欢推理侦探小说作家东尼·希勒曼(Tony Hiilerman)的作品。她说:“我认真规划了我的工作周,工作时就专心工作,在家里就停止工作。”
她的儿子莫斯也表示,除了在麻省理工学院或家里的办公室时,她是不会工作的。尽管早在1983年家里就置备了一台计算机,但她很少在家使用它。莫斯的计算机知识几乎都是从他父亲那学来的,他说: “对于计算机,我母亲是个伟大的思考者,而我父亲则是位实干家。”她所有关于系统与方法论的思考,有时会请她丈夫帮忙将其整理成文档打印。
最近几年,虽然利斯科夫本人并不追求名利,但她的朋友们却在为让她获得学术界应有的肯定而不懈努力。古塔格就是其中之一,他认为利斯科夫早应在10年前就得到图灵奖。尽管利斯科夫对此充满感谢,但她有时也感到这种关注让她有些不自在。她的儿子想起她曾困惑的说道,为什么要浪费一整天时间去摆姿势照照片呢。2009年6月,在和家人出外吃饭庆祝获奖之后,她终于松了口气,又重新回到了一直鞭策她前进的研究中。
普林斯顿大学回信说不接收女学生。利斯科夫表示,现在回想起来, “我当时收到这样的回信感到很吃惊,当时自已比较天真,就这样被他们轻易的打发走了。”
那时很多女性都知道她们在某些领域并不受欢迎,但利斯科夫从不考虑这些,她从来不在乎什么是允许或不允许她去做的,而这种性格造就了她伟大的一生。1968年,利斯科夫成为第一个在美国拿到计算机博士学位的女性,她现在已经是麻省理工学院电子工程与计算机科学院的教授,以及人工智能实验室程序设计组的主任。她在操作系统、分布式系统、编程语言及方法论等领域的研究都获得了重大突破。她的思想促使了现代编程语言基础的形成,比如Java语言,它将数据与指令组合在一起,可以一次开发并在多个终端复用。她对于如何保证分布式系统可靠性的研究为很多成果奠定了根基,比如谷歌遍布世界的服务器架构。2009年夏天,美国计算机协会为她颁发了图灵奖,这项荣誉被称为“计算机界的诺贝尔奖”。
“如果没有芭芭拉的诸多开创性的重大贡献,很难想象今天的编程与分布式系统将是什么样子。”约翰·古塔格(John Guttag)说道。古塔格是麻省理工学院计算机科学与工程学院的教授,他认识利斯科夫已经30多年了,他在2008年曾写信力荐芭芭拉成为麻省理工学院学院教授。同时,也是古塔格提名利斯科夫为图灵奖候选人,他指出,推荐利斯科夫的很多著名计算机科学家“都同意她的研究成果很丰硕”,但“究竟其中的哪项研究最伟大就有所争议了”。古塔格认为,这恰好证明了利斯科夫的研究范围的广度和深远影响。
利斯科夫一直留着齐边卷发,总喜欢穿着奇奇怪怪的袜子。她并不在意那些曾经获得的成就或荣誉。除了图灵奖外,她还在2004年获得了电气和电子工程师协会颁发的冯诺·依曼奖(John yon Neumann Medal)。在计算机这个由男性主宰的领域中,她走出了属于自己的路。
芭芭拉·利斯科夫的职业生涯从计算机领域起步时就开始了。毕业后她并没有继续在数学领域深造,而是在一家位于波士顿的非营利组织Mitre工作。在联邦政府的资助下,该组织从事系统工程与信息技术领域的研究。那时,几乎没有人对计算机领域有经验。“一些人曾当过工程师,而其他人可能是文科毕业的。”利斯科夫回想当年, “那时庸人是看某人是否有兴趣干这个。”
后来利斯科夫参与了哈佛大学的一项研究,自动将英语句子翻译为计算机可以理解的语言。尽管自然语言处理是计算机科学直到目前都一直在研究的难题,但当时人们认为这个问题几年就可以攻破。
她从这项工作中学习到很多,但利斯科夫决定重返校园,更快地吸纳更多知识。她决定前往斯坦福大学,那里即将开设计算机科学的博士课程。
尽管她之前研究的是人工智能领域,但利斯科夫发现她真正的兴趣是计算机设计的基础——操作系统与编程语言。她觉得人工智能提出了一系列难题,并且进展缓慢。但在计算机系统的研究方面, “你可以开发应用程序去真正实现某些操作。”她说, “我只是想在那些更容易取得进步的领域进行科学研究。”
离开斯坦福大学后,利斯科夫作为一名研究员重回Mitre,随后她立马加入到研发Venus操作系统的项目中,这是一项允许多人同时操作同一台小型计算机的研究。因为浏览了很多关于程序设计的文献, “我当时想设计一种不同于人们通常所讨论的操作系统。”她尽可能简单地定义了操作系统,跳出了先前诸多复杂定义的束缚,新的系统破茧成型。
利斯科夫向操作系统原理研讨会提交了一篇有关Venus操作系统的文章,该会议吸引了众多学术界与工业界的研究者。现在是麻省理工学院计算机系终身教授的杰瑞·萨特尔(Jerry Salter)当时看到利斯科夫的报告后,鼓励她去麻省理工学院教课。1972年,利斯科夫成为麻省理工学院计算机专业第一名女性教师。
在麻省理工学院,利斯科夫全身心地将其想法投入到系统研究中。她与研究生斯蒂文·齐勒斯(Steve Zilles)合作,想到许多有关如何管理计算机程序以使其更容易编写、修改与维护的点子。
任何复杂的软件程序都是由许多部分组成的复杂关系结构,通常需要一组工程师花很长时间才能修改。任何改变都会对软件的其他部分造成影响,这就需要程序员从根本上重写程序。利斯科夫通过将程序离散化解决了这个问题,这样改动将更少地影响特定模块之外的代码。
因为很难将自己的思想向程序员说明,利斯科夫设计了一种编程语言,将其思想直接置入其中。“我对于程序的好坏有很强的直觉。”她说,“我想让人们更容易地写出好程序,虽然没法阻止人们写烂程序,但可以使他们不那么容易写出烂程序。”
她设计的编程语言叫做CLU,该语言对新一代语言设计者有着深远影响。这是第一种支持数据抽象化的语言,利斯科夫发明的这种技术成为了高级编程语言的基础,其中还引入了其他特性,比如为一般程序处理迭代所用的技术。事实上,该语言对于当今主流的面向对象程序设计的发展有至关重要的作用。
20世纪80年代,利斯科夫对如何支持互联网上的应用产生兴趣。对此,她开始思考如何让程序分离,这样可以使每部分程序运行在许多互联的计算机上。此外,她设计了一种可利用闲置机器的新协议,这样的分布式系统可以防止计算机、通信连接,以及磁盘存储中不可避免的错误,且不必将它们分离。她的研究可解释为什么谷歌的搜索引擎可以在全球范围内人们同时添加、修改、删除数据的情况下保持工作。
“那时许多人开发的程序对20世纪80年代的系统很有用,但对于2000年后的系统则没什么用。”古塔格说, “但芭芭拉在20世纪80年代开发的程序和如今的程序设计仍然有所关联,甚至比原先更加有用。”事实上他认为,“人们对复杂系统提出苛刻要求的一个原因是,芭芭拉向人们证明了,构建出可靠的系统是可以做到的。”
如今,利斯科夫表示她对在线信息存储的安全问题很感兴趣,特别是如医疗记录这样的个人信息的安全。和原先一样,她致力于设计能促进良好编程习惯的系统。她问道: “往平台中添加什么可以使程序员更容易开发出不会泄露信息的程序呢?”
利斯科夫意识到,信息泄露的方式多种多样,多到以至于看来无法解决。她现在的研究着重于那些最常见的数据保护问题,比如笔记本丢失,或不小心将私密的电子邮件信息发给陌生人所引起的信息泄露。在政策制定者与倡议者对未来网上隐私进行争论之时,利斯科夫选择安静地进行学术研究,确保人们需要的时候已经有相应的解决方案。她说:“当我们在讨论新技术时,应该考虑到政策法规总是比新技术慢一拍。”
利斯科夫一直以来都不遗余力地鼓励并帮助女性学生,并 且在最近几年,她对如何使计算机科学领域更受大众欢迎而投入了大量精力。作为麻省理工学院负责教师管理的副教务长,利斯科夫雇佣了更多的女性及少数族群的员工,并帮助他们管理和改善自己的职业生涯。如今的麻省理工学院,已经与20世纪70年代她加入的时候风格迥异,那时的女性教职员工的数量掰手指便可数出来。利斯科夫说,尽管那时并没遇到很大的偏见,但还是要与一些根深蒂固的思想做斗争。利斯科夫亲身经历过,在校长办公室举行的欢迎新教职员工的聚会上,一位重要的嘉宾走向她丈夫并伸手说“欢迎来到麻省理工学院”。一些学生有时把她当作秘书,她还在课堂上经历了来自学生们的“相当多的考验”。
利斯科夫表示,作为早期计算机科学领域的女科学家,不能太在意这些“阻碍”。虽然这些阻碍并没有怎么困扰她,但开始来自社会的并不高的期待,使她也一度看轻了自身工作的重要性,直到她的研究走向成熟。
“即使在我拿到博士学位以后,我也总在想,我可能会工作一阵,然后当我有了家庭可能就不工作了。”她说,“在Mitre工作的那段时间,我意识到我并不想就这样停下来。”她的丈夫,内森·利斯科夫Nathan Liskov(60届校友)是一名电气工程师,他们在1970结为夫妇,即使是在1975年儿子莫斯出生后,他也支持芭芭拉继续工作下去。
在计算机领域外,利斯科夫也有着广泛的兴趣爱好,包括园艺和阅读神秘小说,特别喜欢推理侦探小说作家东尼·希勒曼(Tony Hiilerman)的作品。她说:“我认真规划了我的工作周,工作时就专心工作,在家里就停止工作。”
她的儿子莫斯也表示,除了在麻省理工学院或家里的办公室时,她是不会工作的。尽管早在1983年家里就置备了一台计算机,但她很少在家使用它。莫斯的计算机知识几乎都是从他父亲那学来的,他说: “对于计算机,我母亲是个伟大的思考者,而我父亲则是位实干家。”她所有关于系统与方法论的思考,有时会请她丈夫帮忙将其整理成文档打印。
最近几年,虽然利斯科夫本人并不追求名利,但她的朋友们却在为让她获得学术界应有的肯定而不懈努力。古塔格就是其中之一,他认为利斯科夫早应在10年前就得到图灵奖。尽管利斯科夫对此充满感谢,但她有时也感到这种关注让她有些不自在。她的儿子想起她曾困惑的说道,为什么要浪费一整天时间去摆姿势照照片呢。2009年6月,在和家人出外吃饭庆祝获奖之后,她终于松了口气,又重新回到了一直鞭策她前进的研究中。