| 获奖名称 | 获奖类别 | 获奖等级 | 获奖时间 |
|---|---|---|---|
| 网络软件基础架构平台（网驰ONCE）技术和系统 | 国家科学技术进步奖 | 二等奖 | 2011 |
| 公开密钥基础设施技术研究与应用 | 国家科学技术进步奖 | 二等奖 | 2005 |
| 软件过程服务技术及集成管理系统 | 国家科学技术进步奖 | 二等奖 | 2005 |
| 网络分布软件支撑平台及石化应用示范工程 | 国家科学技术进步奖 | 二等奖 | 2002 |
| 高性能分布式并行数值代数软件研究与开发 | 国家科学技术进步奖 | 二等奖 | 2000 |
| 计算机网络安全关键技术研究与产品开发 | 国家科学技术进步奖 | 二等奖 | 2000 |
| 保险业务综合网络管理系统 | 国家科学技术进步奖 | 三等奖 | 1999 |
| 并发进程的代数理论及验证工具 | 国家自然科学奖 | 二等奖 | 1999 |
| 支持可理解性和可复用性的软件设计系统URS-1 | 国家科学技术进步奖 | 二等奖 | 1992 |
| 基于时序逻辑的软件工程环境的理论与设计 | 国家自然科学奖 | 一等奖 | 1989 |
| 有限自动机的可逆性理论 | 国家自然科学奖 | 三等奖 | 1987 |
| 分布式程序设计理论 | 国家自然科学奖 | 二等奖 | 1987 |
| UNIX系统的研究分析推广应用和开发 | 国家科学技术进步奖 | 三等奖 | 1985 |
