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

  • 1