当前位置 主页 > 站长资源大全 > iis7百科 > 最大化 缩小

    芭芭拉·利斯科夫——Liskov替代原理发明者

    栏目:iis7百科 时间:2019-12-12 09:42

      芭芭拉·利斯科夫(生于1939年11月7日为芭芭拉简休伯曼)是美国计算机科学家,并在其工程的福特教授工程学院的电气工程和计算机科学系。她是美国最早获得计算机科学博士学位的女性之一,并且是图灵奖的获得者,她发展了Liskov替代原理。
      利斯科夫是美国国家工程院,美国国家科学院院士,还是美国艺术与科学研究院以及计算机科学协会(ACM)的会员。在2002年,她被公认为是麻省理工学院最杰出的女教师之一,并且在美国科学界排名前50位的教职员中在2002年,《发现》杂志将利斯科夫评为科学界50位最重要的女性之一。
      2004年,芭芭拉·里斯科夫(Barbara Liskov)因“对编程语言,编程方法和分布式系统的根本贡献”而获得了约翰·冯·诺伊曼(John von Neumann)勋章。2005年11月19日,Barbara Liskov和Donald E. Knuth被授予ETH荣誉博士学位。Liskov和Knuth在ETH苏黎世杰出座谈会系列中也有报道。2018年,她被授予名誉博士的大学Politécnica马德里。
      Liskov 于2009年3月获得ACM 颁发的2008年图灵奖,这是因为她在编程语言和软件方法设计方面的工作导致了面向对象编程的发展。具体来说,利斯科夫开发了两种编程语言:1970年代的CLU和1980年代的Argus。ACM引用了她对“编程语言和系统设计,特别是与数据抽象,容错和分布式计算有关”的实践和理论基础的贡献。2012年,她被选入国家发明家名人堂。
      里氏生于1939年11月7日在洛杉矶,加利福尼亚,长子简(姓Dickhoff)和摩西休伯曼的四个孩子。1961年,她在加利福尼亚大学伯克利分校获得了物理学学士学位的数学学士学位。在她的课堂上,她还有一个女同学,其余的都是男同学。毕业后,她申请了伯克利和普林斯顿的研究生数学课程。当时普林斯顿大学不接受数学上的女学生。她被伯克利大学录取,但没有学习,而是搬到波士顿,开始在Miter Corporation工作。在那里,她开始对计算机和编程感兴趣。她在Mitre工作了一年,然后在哈佛从事编程工作,在那里从事语言翻译。
      然后,她决定重返学校,再次申请伯克利大学,也申请斯坦福大学和哈佛大学。1968年,她从斯坦福大学获得学位后,成为美国第一批获得计算机科学系博士学位的女性之一。在斯坦福大学,她与约翰·麦卡锡(John McCarthy)合作,并获得了从事人工智能工作的支持。她的博士学位主题。论文是一个玩象棋残局的计算机程序。
    下一篇:没有了