本所简介
所长致辞
现任领导
历任领导
学术委员会
学位委员会
组织机构
院士名人
历史沿革
院所风貌
计算机科学国家重点实验室
天基综合信息系统重点实验室
基础软件国家工程研究中心
卫星导航应用国家工程中心分中心
并行软件与计算科学实验室
可信计算与信息保障实验室
软件工程技术研究开发中心
人机交互技术与智能信息处理实验室
互联网软件技术实验室
无锡分部
重庆分部
哈尔滨分部
广州分部
青岛分部
软件所和NTT DATA签署共建联合研究中心协议并举行成立仪式
04-09
黑龙江陆昊省长视察软件所哈尔滨分部
03-24
六盘水市委书记李再勇到访软件所
03-10
董韫美院士荣获中国计算机学会(CCF)终身成就奖
01-24
丹麦技术大学Carsten Witt副教授到软件所交流
04-18
软件所“多渠道农业信息获取系统及应用” 项目成果获北京市科...
04-08
2014中国计算机大会（CNCC2014）征文通知
04-03
软件所获2013年中国航海学会科学技术奖特等奖
03-31
推荐北京市科学技术奖候选项目公示
03-28
法国格勒诺布尔综合理工学院Jean-Francois Monin教授访问软件所
03-26
软件所参赛队在首届中国大数据技术创新与创业大赛中获奖
12-30
软件所举办“与顶级会议作者面对面”系列学术活动
12-17
[4-24]Automatic Verification of Message-Passing Concurrency
04-17
[4-22]An Algebraic Regular Parser Generator
04-15
[4-16]How to Treat Evolutionary Algorithms as Ordinary Ra...
04-14
[4-8]Recent Progresses in Local Search for SAT
04-04
[4-8]NP-Complete Problems and Special Bipartite Graphs
[3-20]Handcrafted Coq Inversions Made Operational on Oper...
03-13
[3-19]Model-Checking for Malware Detection
03-14
[3-7] Validity Check of PutbackTransformations in Bidirec...
03-04
计算机科学国家重点实验室
