新闻动态 更多>>
- 2021-12-272022年开放课题申请工作正式开始
- 2020-10-28吴志林研究员获2020年“CCF-IEEE CS青年科学家奖”
- 2020-07-14蔡少伟团队获得SAT 2020国际比赛冠军
- 2020-01-022020年开放课题申请工作正式开始
- 2019-12-25软件所发布国内首个量子程序设计平台—isQ
- 2019-12-03实验室吴恩华研究员获ACM服务奖
- 2019-11-06计算机科学国家重点实验室召开2019年学术委员会年度会议
- 2019-07-25形式化方法暑期学校将于2019年8月6~15号举行
- 2019-01-292019年开放课题申请工作正式开始
- 2019-01-22周巢尘院士荣获中国计算机学会(CCF)终身成就奖