• [12-09] A Dynamical Aspect of D-finite Power Series2020-12-07
• [12-09] SKLCS seminar on “单带图灵机的时空转换（Time Versus Space on Single Tape Turing Machines）”2020-12-07
• [12-02] Verified Separate Compilation of C Programs into Binary Object Files2020-11-30
• [11-18] 面向现代FPGA架构的逻辑综合和工艺映射方法2020-11-01
• [11-10] 智能物联网的研究挑战与探索2020-11-01
• 吴志林研究员获2020年“CCF-IEEE CS青年科学家奖”2020-10-28
• [10-14] SKLCS seminar on “地理信息系统”2020-10-12
• [10-21] 新型活体光学分子影像技术研发及临床转化2020-10-11
• 蔡少伟团队获得SAT 2020国际比赛冠军2020-07-14
• 2020年开放课题申请工作正式开始2020-01-02
• 软件所发布国内首个量子程序设计平台—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