新闻动态 更多
- 2019-12-03实验室吴恩华研究员获ACM服务奖
- 2019-11-06计算机科学国家重点实验室召开2019年学术委员会年度会议
- 2019-07-25形式化方法暑期学校将于2019年8月6~15号举行
- 2019-01-292019年开放课题申请工作正式开始
- 2019-01-22周巢尘院士荣获中国计算机学会（CCF）终身成就奖
- 2019-01-21张健研究员当选CCF会士
- 2019-01-11量子软件团队推出国际首个量子程序证明工具
- 2018-12-27林惠民院士忆高考：迟到了13年的大学梦
科研进展 更多
- 2019-07-18计算复杂性问题
- 2019-07-18量子程序终止性算法分析
- 2019-07-18基于自动机的程序终止性检验
- 2019-07-18Android 堆栈机模型
- 2019-07-18大规模分布式系统的失效恢复缺陷分析与检测
- 2019-07-18带边缘感知的改进的纹理滤波
- 2019-07-17实时自动机的不透明性
- 2019-07-17密钥封装机制的抗量子安全性设计理论
学术交流 更多
- 2019-07-25形式化方法暑期学校将于2019年8月6~15号举行
- 2015-11-03图灵奖获得者Leslie Lamport博士访问计算机科学国家重点实验室
- 2013-10-22中国科学院“爱因斯坦讲席教授”、图灵奖获得者Edmund M. Clarke教授来访
- 2011-03-08图灵奖获得者Joseph Sifakis教授来访
- 2008-12-02图灵奖获得者Amir Pnueli教授来访
- 2008-11-05图灵奖获得者C.A.R. Hoare教授来访
学术报告 更多
- 2019-11-11[11-14]SafeHidden: 通过持续随机化来确保信息隐藏的高效性和安全性
- 2019-10-15[10-25]Software Engineering Issues in Cyber-Physical Systems
- 2019-09-17[09-17] On Solving String Constraints
- 2019-08-01[08.20]Scalable Analysis and Control of Boolean Networks
- 2019-07-09[07.20]-Beyond NP Revolution
- 2019-07-04[07.09]-慕课中的故事化学习法：双城记
- 2019-07-04[07.09]-Augmenting Stream Constraint Programming with Eventuality Conditions
- 2019-07-02[07.03]-Formal Proofs of Tarjan’s Strongly Connected Components Algorithm in Why3, Coq and Isabelle