Barbara Liskov，2008年度美国计算机学会（ACM）图灵奖（Turing Award）获得者。美国国家工程院院士、美国计算机学会会员、以及美国艺术与科学院院士。1972年，Barbara成为麻省理工学院（MIT）的教授，并一直主管研究工作，是计算机科学与人工智能实验室编程方法论小组负责人。美国第一个获得计算机科学博士学位的女性（1968年，斯坦福大学），其创新性研究给计算机编程领域带来了巨大变革，事实上，它巩固了用户和企业应用计算机的基础。曾发表许多论著，其中一本是与John Guttag合著的《编程发展的抽象与规格》（Abstraction and Specification in Program Development），这本书教育了几代学生怎样编写软件程序。在进入MIT之前，她曾是Mitre集团的一名技术人员。她在加州大学伯克利分校获数学学士学位，在斯坦福大学获博士学位，担任人工智能课题的研究助理。
暂无数据
微信扫码咨询专知VIP会员