报告题目：工业软件的发展之路

演讲摘要：工业软件的特征；技术发展路线；未来展望

讲者简介：何积丰，中国科学院院士，华科智谷人工智能研究院院长，著名计算机软件科学家，现任中国信息技术标准化技术委员会软件与系统工程分技术委员会主任委员、国家可信嵌入式软件工程技术研究中心首席科学家、教育部可信软件国际合作联合实验室主任、上海市人工智能战略咨询专家委员会委员。 何院士是程序统一理论创立者，数据精化完备理论奠定者，基于模型的可信软件设计技术的开拓者。何院士在世界上首次提出“可信人工智能”，自此世界各地开始广泛关注人工智能的安全可信问题。 曾担任国家自然科学基金委重大研究计划，科技部973计划、863计划主题项目首席科学家，领衔国家自然科学基金委创新研究群体，出版英文专著2部，在国际期刊和会议上发表论文160余篇，他引4000余次。以唯一完成人荣获国家自然科学奖二等奖和上海市科技进步奖一等奖各1项；以项目第一完成人荣获上海市科技进步奖特等奖； 以第一完成人获省部级科技进步奖与科技成果奖一等奖4项，两次荣获英国女王先进技术奖，以及获得法国骑士勋章。另外授予全国五一劳动奖章，上海市教育功臣和上海市科技功臣等称号。