News
发布时间：2019-09-26 作者：上海工业控制安全创新科技有限公司 点击次数：次
何积丰院士：坚守初心 扎根一线
全球领跑“可信软件”
作为著名计算机软件科学家，何积丰院士提出了程序设计统一理论和连接程序理论的数学法则，在可信软件领域享有国际学术声誉。他曾担任国家自然科学基金委重大研究计划、科技部973计划、863计划主题项目首席科学家，领衔国家自然科学基金委创新研究群体，以唯一完成人荣获国家自然科学奖二等奖和上海市科技进步奖一等奖各1项，以第一完成人获省部级科技进步奖与科技成果奖一等奖4项，两次荣获英国女王先进技术奖。他曾获全国优秀共产党员、全国五一劳动奖章、全国优秀科技工作者、何梁何利基金科学与技术进步奖、全国优秀科技工作者、上海市教育功臣、上海市科技功臣等荣誉称号。
何院士关注国家与社会的发展需求，并积极有效地推动产学研融合。2018年，为了支撑上海科技创新中心建设，上海市区两级推动建设上海工业控制系统安全创新功能型平台。平台以何积丰院士为首席科学家，以何院士团队开创的可信软件研究学科方向上取得的坚实基础和学科优势为核心，将“安全+”理念和标准化安全框架体系融入汽车电子、轨道交通、航空航天等安全攸关领域。
何院士在2019浦江创新论坛发表演讲
