12月1日，数字产业学院2021级研究生孙欢受邀在2023ChinaSoft中国软件大会上报告其最新研究成果《命令式动态规划类算法程序推导及机械化验证》。该成果由数字产业学院研究生孙欢、王唱唱在左正康教授（校聘）、王昌晶教授、游珍博士和黄箐博士共同指导下完成，将在计算机领域中文权威期刊《软件学报》2024年第9期上发表。

论文《命令式动态规划类算法程序推导及机械化验证》提出了一种命令式动态规划类算法程序设计框架及机械化验证方法。基于动态规划类算法 Isabelle/HOL 函数式建模与验证，通过证明命令式动态规划类算法程序与其的等价性，避免证明正确性时处理复杂的依赖关系和约束条件。算法首先设计为命令式动态规划类算法的一般形式，并进一步实例化得到具体算法。最后，例证了所提框架的有效性，为动态规划类算法的自动化推导和验证提供参考价值。

数字产业学院不断探索创新式研究生培养模式，在通过产学研校企合作方式推动高素质专业技能人才培养的同时，也高度注重学生学术创新能力的培养，促进高水平科研成果产出，推动人才培养质量更上一层楼。