中国科学院软件研究所科研成果获奖概况

中国科学院软件研究所科研成果获奖概况截至2014年4月,中国科学院软件研究所在计算机科学和软件领域获院、省部级以上成果奖34项(全部为第一完成单位),其中包括国家自然科学奖一等奖1项、二等奖2项、三等奖1项;国家科技进步奖二等奖8项、三等奖2项

 国家自然科学奖获奖概况时间获奖成果名称等级主要完成人1987年分布式程序设计理论二等周巢尘1987年有限自动机的可逆性理论三等陶仁骥、陈世华1989年基于时序逻辑的软件工程环境的理论与设计一等唐稚松1999年并发进程的代数理论及验证工具二等林惠民资料来源: 国家科技进步奖获奖概况时间获奖成果名称等级1985年UNIX系统的研究分析推广应用和开发三等1992年支持可理解性和可复用性的软件设计系统URS-1二等1999年保险业务综合网络管理系统三等2000年计算机网络安全关键技术研究与产品开发二等2000年高性能分布式并行数值代数软件研究与开发二等2002年网络分布软件支撑平台及石化应用示范工程二等2005年软件过程服务技术及集成管理系统二等2005年公开密钥基础设施技术研究与应用二等2011年网络软件基础架构平台(网驰ONCE)技术和系统二等资料来源: 项目承担截至2013年7月,中国科学院软件研究所软件工程技术研究开发中心承担了国家自然科学基金、国家973计划、国家863计划、国家科技支撑计划、“核高基”重大科技专项等项目/课题100多项 ;基础软件国家工程研究中心承担了国家各类重大/重点项目,包括:国家科技支撑计划“高速列车网络控制系统”、“中华字库工程”、“核高基”国家科技重大专项“开源操作系统内核分析和安全性评估”、863、973、国家自然科学基金、科学院创新工程重大专项等30余项 ;互联网软件技术实验室承担了国家自然科学基金项目10余项,国家973计划课题1项“需求演化建模”;国家863计划30余项,完成了10余项中科院、教育部、北京科委等支持的知识创新工程和重点科技攻关项目 ;论文发表截至2013年7月,中国科学院软件研究所软件工程技术研究开发中心国内外重要期刊与会议发表论文300余篇 ;基础软件国家工程研究中心每年在国际会议和期刊发表论文50余篇 ;人机交互技术与智能信息处理实验室在国内外主流会议和期刊上发表相关学术论文300余篇 ;互联网软件技术实验室在国际/国内发表论文250余篇 ;专利及其他截至2013年7月,软件工程技术研究开发中心申请发明专利30余项(已授权18项),软件著作权100多项 ;基础软件国家工程研究中心有专利79项, 软件著作权288项 ;互联网软件技术实验室申请专利30余项、软件著作权170多项 ;

以上内容由大学时代综合整理自互联网,实际情况请以官方资料为准。

相关