大会嘉宾

Conference Guests

何积丰 中国科学院院士

1.png


中国科学院院士,著名计算机软件科学家。上海同济大学教授,华科智谷人工智能硏究院院长,现任华东师范大学终身教授、软件学院院长,中国科学院信息学部常委会副主任,上海市科协副主席,国家可信嵌入式软件工程技术研究中心首席科学家,上海市高可信计算重点实验室主任。针对软件的复杂性、正确性和可靠性等问题开展了系统性的研究。他是程序统一理论创立者、数据精华完备理论奠定者、可信软件设计理论与技术开拓者。

何积丰院士担任国家自然科学基金委重大研究计划、科技部 973 计划、863 计划主题项目首席科学家,领衔国家自然科学基金委创新研究群体。出版英文专著 2 部,在国际期刊和会议上发表论文 160 余篇,他引 4000 余次。以唯一完成人荣获国家自然科学奖二等奖和上海市科技进步奖一等奖各 1 项,以第一完成人获省部级科技进步奖与科技成果奖一等奖 4 项,两次荣获英国女王先进技术奖。曾获上海市教书育人楷模、上海高校教学名师、上海市五一劳动奖章、上海市优秀共产党员、上海市劳动模范等称号。2013 年以来又荣获全国五一奖章、上海市教育功臣、何梁何利基金科学与技术进步奖和上海市科技功臣等称号。