分享：

微信扫一扫：分享

微信里点“发现”，扫一下

二维码便可将本文分享至朋友圈

报告题目：编程方法论的思考

演讲摘要：编程方法论的研究促进了现代软件系统设计和结构原理和方法的发展。这项研究工作的核心是抽象和模块化的概念。这些想法是相关的：设计是发明和识别抽象的过程，抽象的实现成为组成程序的模块。本次报告将讨论我们目前对抽象和模块化的理解，以及促成现状的过往研究。

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