讲座题目： 软件的昨天、今天和明天

主 讲 人: 何积丰 教授

上海华东师范大学软件学院

讲座时间：2014年9月26日上午 9:30

讲座地点：前卫南校区计算机大楼A521报告厅

主办单位：

符号计算与知识工程教育部重点实验室

皇冠足球比分,澳门皇冠体育计算机科学与技术学院

皇冠足球比分,澳门皇冠体育软件学院

皇冠足球比分,澳门皇冠体育计算机科学技术研究所

何积丰简介

何积丰，中国科学院院士，著名计算机软件科学家。现为华东师范大学终身教授、软件学院院长，中国科学院信息学部常委会副主任，上海市科协副主席，国家可信嵌入式软件工程技术研究中心首席科学家，上海市高可信计算重点实验室主任。长期从事计算机软件复杂性、正确性和可靠性等问题的理论与应用研究，是程序统一理论创立者、数据精化完备理论奠基者、可信软件设计理论与技术开拓者。担任国家自然科学基金委重大研究计划、科技部973计划、863计划主题项目首席科学家，领衔国家自然科学基金委创新研究群体。以唯一完成人荣获国家自然科学奖二等奖和上海市科技进步奖一等奖各1项，以第一完成人获省部级科技进步奖与科技成果奖一等奖4项，两次荣获英国女王先进技术奖。

注：以上信息来源于校内办公，若有变动请及时通知！ 电话：85166975