科学研究

获奖情况

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