| 獲獎名稱 | 獲獎類別 | 獲獎等級 | 獲獎時間 |
|---|---|---|---|
| 網絡軟件基礎架構平臺（網馳ONCE）技術和系統 | 國家科學技術進步獎 | 二等獎 | 2011 |
| 公開密鑰基礎設施技術研究與應用 | 國家科學技術進步獎 | 二等獎 | 2005 |
| 軟件過程服務技術及集成管理系統 | 國家科學技術進步獎 | 二等獎 | 2005 |
| 網絡分布軟件支撐平臺及石化應用示范工程 | 國家科學技術進步獎 | 二等獎 | 2002 |
| 高性能分布式并行數值代數軟件研究與開發 | 國家科學技術進步獎 | 二等獎 | 2000 |
| 計算機網絡安全關鍵技術研究與產品開發 | 國家科學技術進步獎 | 二等獎 | 2000 |
| 保險業務綜合網絡管理系統 | 國家科學技術進步獎 | 三等獎 | 1999 |
| 并發進程的代數理論及驗證工具 | 國家自然科學獎 | 二等獎 | 1999 |
| 支持可理解性和可復用性的軟件設計系統URS-1 | 國家科學技術進步獎 | 二等獎 | 1992 |
| 基于時序邏輯的軟件工程環境的理論與設計 | 國家自然科學獎 | 一等獎 | 1989 |
| 有限自動機的可逆性理論 | 國家自然科學獎 | 三等獎 | 1987 |
| 分布式程序設計理論 | 國家自然科學獎 | 二等獎 | 1987 |
| UNIX系統的研究分析推廣應用和開發 | 國家科學技術進步獎 | 三等獎 | 1985 |
