①创建程序统一理论，奠定了软件语义元理论基础，开创了软件理论的新学派。何积丰与图灵奖获得者Hoare教授创造性地提出了软件的程序统一理论，解决了程序语义的一致性问题，奠定了软件语义元理论基础，开创了程序统一理论学派，出版了英文专著《Unifying Theories of Programming》，该文献他引超过800次。程序统一理论已被国际上公认为研究各类程序语言的一种标准方法。自2006年起，每两年举办一次程序统一理论国际学术研讨会，包括牛津大学、约克大学、巴黎11大等在内的世界著名研究机构从事序统一理论的相关研究。②创新软件开发方法学，建立了数据精化完备理论，被国际上誉为“面向模型软件开发的一个里程碑”。针对软件开发各阶段模型正确性问题，何积丰创建了数据精化完备理论，首次提出了数据精化的“程序分解算子”与“上下仿真映照对”方法，将规范语言与程序语言看成是同一类数学对象，采用“关系代数”作为程序和软件规范的统一数学模型，在此框架中建立了求解规范方程的演算法则。该成果被国际计算机科学界誉为“面向模型软件开发的一个里程碑”。③开拓可信嵌入式软件设计理论与技术，促进了方法与技术在安全攸关行业领域的应用。何积丰创造性地开拓和发展了基于模型的可信软件开发与验证研究领域，建立了正确性系统的可证理论与方法，解决了可信嵌入式系统构造与验证技术的若干关键问题，并应用于轨道交通、汽车电子、航天控制等安全攸关行业，推动了相关产业发展。二零一七年香山科学会议，何积丰在世界上首次提出“可信人工智能”，自此世界各地开始广泛关注人工智能的安全可信问题。
