本所简介
所长致辞
现任领导
历任领导
学术委员会
学位委员会
组织机构
院士名人
历史沿革
院所风貌
计算机科学国家重点实验室
天基综合信息系统重点实验室
基础软件国家工程研究中心
卫星导航应用国家工程中心分中心
并行软件与计算科学实验室
可信计算与信息保障实验室
软件工程技术研究开发中心
人机交互技术与智能信息处理实验室
互联网软件技术实验室
无锡分部
重庆分部
哈尔滨分部
广州分部
青岛分部
董韫美院士荣获中国计算机学会(CCF)终身成就奖
01-24
软件所召开党的群众路线教育实践活动总结大会
国家973计划项目“安全攸关软件系统的构造与质量保障方法研究”启动会顺利召开
01-15
软件所参赛队在首届中国大数据技术创新与创业大赛中获奖
12-30
软件所举办“与顶级会议作者面对面”系列学术活动
12-17
软件所青联举办留学人员联络小组交流会
12-13
2014年度国家科学技术奖励推荐项目公示
12-06
软件所青联举办家庭数据中心应用模式研讨会
12-03
软件所团委、学生会在首届中科院移动互联网应用青年创意大赛...
12-02
冰岛雷克雅未克大学Luca Aceto和Anna Ingolfsdottir教授到软...
11-28
法国国家信息学与自动化研究院Paris-Rocquencourt研究中心Xav...
11-19
[3-7] Validity Check of PutbackTransformations in Bidirec...
03-04
[2014-1-15]“与顶级会议作者面对面系列”之七：Zhengping Qi...
01-08
[12-12]“与顶级会议作者面对面系列”之六: Heming Cui, Colu...
11-25
[12-10]“与顶级会议作者面对面系列”之五: Qi Huang, Cornel...
[12-3]“与顶级会议作者面对面系列”之四: Haoyuan Li, UC Be...
[11-29]软件所青年联合会第11期学术活动
[11-28]When is a formula invariant?
11-26
[11-28]互联网软件技术实验室学术报告
计算机科学国家重点实验室
