中国科学院院士
国家标准化委员会软件分委会主任、国家信创专委会副主任
国家可信嵌入式软件工程技术研究中心首席科学家、中国网安首席科学家
工信部新一代人工智能标准和应用重点实验室主任委员
上海市人工智能战略咨询专家委员会委员、上海市人工智能治理委员会主任

他针对软件的复杂性、正确性和可靠性等问题开展了系统性的研究。他是程序统一理论创立者、数据精华完备理论奠定者、可信软件设计理论与技术开拓者。何积丰院士担任国家自然科学基金委重大研究计划、科技部973计划、863计划主题项目首席科学家，领衔国家自然科学基金委创新研究群体。出版英文专著2部，在国际期刊和会议上发表论文160余篇，他引4000余次。以唯一完成人荣获国家自然科学奖二等奖和上海市科技进步奖一等奖各1项，以第一完成人获省部级科技进步奖与科技成果奖一等奖4项，两次荣获英国女王先进技术奖，以及获得法国骑士勋章。另外授予上海市教育功臣、上海市科技功臣和全国优秀共产党员等称号。