获奖情况

国家自然科学奖一等奖：基于时序逻辑的软件工程环境的理论与设计，1989年
国家自然科学奖二等奖：分布式程序设计理论，1987年
国家自然科学奖二等奖：并发进程的代数理论及验证工具，1999年
国家科技进步奖一等奖：XXXX关键技术研究与应用，2016年
国家科技进步奖二等奖：支持可理解性和可复用性的软件设计系统URS-1，1992年
国家科技进步奖二等奖：高性能分布式并行数值代数软件研究与开发，2000年
国家科技进步奖二等奖：网络分布软件支撑平台及石化应用示范工程，2002年
国家科技进步奖二等奖：软件过程服务技术及集成管理系统，2005年
国家科技进步奖二等奖：网络软件基础架构平台（网驰ONCE）技术和系统，2011年
国家科技进步奖二等奖：笔式人机交互关键技术及应用，2018年
国家技术发明奖二等奖：可信计算与信息保障算法的设计与分析，2013年
董韫美院士获得中国计算机学会颁发的终身成就奖，2013年
周巢尘院士获得中国计算机学会颁发的终身成就奖，2018年
高性能软件与算法库研究团队2016年获中国首个“戈登.贝尔”奖，并获2017年度中国科学院杰出科技成就奖