[百家讲坛]04月08日 何积丰:信息技术的发展趋势(第198期)

讲座名称信息技术的发展趋势

主讲人:何积丰

时间:2015年04月08日(周三)15:00—16:30

地点:图书馆二楼报告厅

主办单位:信息技术学院、科研处

主讲人简介:

      何积丰,中国科学院院士,著名计算机软件科学家。现为华东师范大学终身教授、软件学院院长,中国科学院信息学部常委会副主任,上海市科协副主席,国家可信嵌入式软件工程技术研究中心首席科学家,上海市高可信计算重点实验室主任。

      何积丰院士长期从事计算机软件理论及应用研究,针对软件的复杂性、正确性和可靠性等问题开展了系统性的研究。他是程序统一理论创立者、数据精化完备理论奠基者、可信软件设计理论与技术开拓者。

      何积丰院士担任国家自然科学基金委重大研究计划、科技部973计划、863计划主题项目首席科学家,领衔国家自然科学基金委创新研究群体。出版英文专著2部,在国际期刊和会议上发表论文160余篇,他引4000余次。以唯一完成人荣获国家自然科学奖二等奖和上海市科技进步奖一等奖各1项,以第一完成人获省部级科技进步奖与科技成果奖一等奖4项,两次荣获英国女王先进技术奖。

发布时间:2015-04-08