now163
- 软件所发布国内首个量子程序设计平台—isQ2019-12-25
- [12-30] Uncertainty-wise Software Engineering2019-12-23
- [12-20]SKLCS seminar on 2 talks-“Proving that Programs are Differentially Private” “Quantitative information flow: when is one leak worse than another?”2019-12-19
- [12-18]Quantum Computing Engineering: Challenges and Opportunities2019-12-09
- [12-10]Compositional Techniques for the Verification of a Separation Micro-kernel for Multi-Core Architectures2019-12-09
- 实验室吴恩华研究员获ACM服务奖2019-12-03
- [11-14]SafeHidden: 通过持续随机化来确保信息隐藏的高效性和安全性2019-11-11
- 计算机科学国家重点实验室召开2019年学术委员会年度会议2019-11-06
- [10-25]Software Engineering Issues in Cyber-Physical Systems2019-10-15
- [09-17] On Solving String Constraints2019-09-17
- 研究方向2019-08-20
- TR 20182019-08-19
- [08.20]Scalable Analysis and Control of Boolean Networks2019-08-01
- 研究生活动展示一2019-07-25
- 形式化方法暑期学校将于2019年8月6~15号举行2019-07-25
- 获奖情况2019-07-25
- 院士专家2019-07-24
- 助理研究员2019-07-24
- 副研究员2019-07-24
- 研究员2019-07-24