| 获奖时间 | 获奖名称 | 获奖类别 | 获奖等级 | 完成人(主要参加者) |
|---|---|---|---|---|
| 2011 | 网络软件基础架构平台（网驰ONCE）技术和系统 | 国家科学技术进步奖 | 二等奖 | 黄涛，冯玉琳，魏峻，左春，钟华，金蓓弘，张文博，叶丹，杨燕，王伟 |
| 1987 | 分布式程序设计理论 | 国家自然科学奖 | 二等奖 | |
| 1987 | 有限自动机的可逆性理论 | 国家自然科学奖 | 三等奖 | |
| 1989 | 基于时序逻辑的软件工程环境的理论与设计 | 国家自然科学奖 | 一等奖 | |
| 1999 | 并发进程的代数理论及验证工具 | 国家自然科学奖 | 二等奖 | |
| 1985 | UNIX系统的研究分析推广应用和开发 | 国家科学技术进步奖 | 三等奖 | |
| 1992 | 支持可理解性和可复用性的软件设计系统URS-1 | 国家科学技术进步奖 | 二等奖 | |
| 1999 | 保险业务综合网络管理系统 | 国家科学技术进步奖 | 三等奖 | |
| 2000 | 计算机网络安全关键技术研究与产品开发 | 国家科学技术进步奖 | 二等奖 | |
| 2000 | 高性能分布式并行数值代数软件研究与开发 | 国家科学技术进步奖 | 二等奖 |
查看更多