下载中心
会议室预定
电子邮箱
新闻动态 更多
-
张昕荻荣获国际SAT协会2025最佳博士学位论文奖
第28届国际可满足性测试理论与应用会议（SAT 2025）于今年8月在苏格兰举办，期间公布了Fahiem-Bacchus Award 2025（最佳博士学位论文 ...
- 弘扬唐稚松院士科学精神座谈会在软件所举行
- 软件所获中国科学院大学2025年“教育教学成果奖”一等奖
- 第七届可信软件系统工程（国际）春季学校（SETSS 2025）在中国科学院软件研究所成功举办
学术活动 更多
- 2025-09-24【09-24】知行融创论坛：A Formally Verified Procedure for Width Inference in FIRRTL
- 2025-09-24【09-24】知行融创论坛：TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models
- 2025-09-24【09-24】知行融创论坛：Shadowcast: Stealthy Data Poisoning Attacks against Vision-Language Models
- 2025-08-26【08-27】知行融创论坛：Separation between Walksat and DPLL
- 2025-08-26【08-27】知行融创论坛：含整数类型的字符串约束求解
- 2025-08-26【08-27】知行融创论坛：A Divide-and-Conquer Approach for Global Orientation of Non-Watertight Scene-Level Point Clouds Using 0-1 Integer Optimization
- 2025-08-26【08-27】知行融创论坛：Efficient Formal Verification of Quantum Error Correcting Programs
- 2025-06-25【06-25】知行融创论坛：Reachability Computation via Set Boundary Analysis
科研进展 更多
- 2019-07-18计算复杂性问题
- 2019-07-18量子程序终止性算法分析
- 2019-07-18基于自动机的程序终止性检验
- 2019-07-18Android 堆栈机模型
- 2019-07-18大规模分布式系统的失效恢复缺陷分析与检测
- 2019-07-18带边缘感知的改进的纹理滤波
- 2019-07-17实时自动机的不透明性
招贤纳士 更多
- 2024-10-18中国科学院软件研究所基础软件与系统重点实验室招聘启事
- 2024-05-09中国科学院软件研究所基础软件与系统重点实验室招聘启事
- 2024-01-25中国科学院软件研究所基础软件与系统重点实验室2024年优秀人才招聘启事
