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