本所简介
现任领导
历任领导
组织机构
学术委员会
学位委员会
院士名人
历史沿革
院所风貌
计算机科学国家重点实验室
天基综合信息系统重点实验室
基础软件国家工程研究中心
卫星导航应用国家工程中心分中心
并行软件与计算科学实验室
可信计算与信息保障实验室
软件工程技术研究开发中心
人机交互技术与智能信息处理实验室
互联网软件技术实验室
无锡分部
重庆分部
哈尔滨分部
广州分部
青岛分部
贵阳分部
软件所召开2014年度管理与支撑部门职工绩效考核会
01-26
软件所召开领导班子调整宣布大会
12-26
认真落实中央关于民主生活会的要求 软件所召开青年科技骨干座谈会
12-23
中国中文信息学会喜获民政部社会组织评估4A等级
01-23
软件所蔡少伟副研究员、蔡彦副研究员入选成为FCS期刊青年AE
01-21
2015年度国家科学技术进步奖推荐项目公示
01-06
01-05
12-25
软件所青联举办论辩逻辑和强化学习交流研讨会
12-15
软件所青联举办大数据技术应用之文本数据挖掘交流研讨会
11-21
澳大利亚斯威本科技大学杨耘教授访问软件所
09-30
[2015-1-8]不可行路径片段制导的线性混成自动机有界可达性检...
12-29
[12-17]Cloud Computing, Big Data and Scalable Privacy Pre...
12-16
[12-12]Communicating Transactions (a Survey)
12-09
[12-11]Argumentation Accelerated Reinforcement Learning ...
12-10
[12-8]Fast Sheet-defined Functions in Spreadsheets
12-03
[12-2]Abstraction-based Computation of Reward Measures fo...
12-01
[11-27]Quantum Simulation: Challenges and Opportunities
11-25
[11-25]Probabilistic Termination
11-18
计算机科学国家重点实验室
