【科研获奖】获得全国商业科技进步一等奖3项，吉林省自然科学学术成果奖二等奖1项，吉林省科学技术进步三等奖2项。

[1]全国商业科技进步一等奖：形式化新方法及其在云计算中的应用

[2]吉林省自然科学学术成果奖二等奖：本体演化相关问题的分析研究

[3] 吉林省科学技术进步三等奖：本体工程技术及其应用研究

[4] 全国商业科技进步一等奖：形式化新方法与新技术及其在软件需求工程中的应用

[5] 吉林省科学技术进步三等奖：高可信软件的安全开发与验证方法及其应用

[6] 全国商业科技进步一等奖：基于形式化方法的本体工程关键技术研究与应用