• 张昕荻荣获国际SAT协会2025最佳博士学位论文奖2025-10-10
• 【09-24】知行融创论坛：A Formally Verified Procedure for Width Inference in FIRRTL2025-09-24
• 【09-24】知行融创论坛：TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models2025-09-24
• 【09-24】知行融创论坛：Shadowcast: Stealthy Data Poisoning Attacks against Vision-Language Models2025-09-24
• 【08-27】知行融创论坛：Separation between Walksat and DPLL2025-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 Optimization2025-08-26
• 【08-27】知行融创论坛：Efficient Formal Verification of Quantum Error Correcting Programs2025-08-26
• 软件所获中国科学院大学2025年“教育教学成果奖”一等奖2025-07-22
• 【06-25】知行融创论坛：Reachability Computation via Set Boundary Analysis2025-06-25
• 【06-25】知行融创论坛：From an odd arity signature to a Holant dichotomy2025-06-25
• 【06-25】知行融创论坛：Quantum Speedup for Sampling Random Spanning Trees2025-06-25
• 【06-25】知行融创论坛：Parallel MIP Solving with Dynamic Task Decomposition2025-06-25
• 第七届可信软件系统工程（国际）春季学校（SETSS 2025）在中国科学院软件研究所成功举办2025-05-28
• 【05-28】知行融创论坛：Towards Large Language Model Guided Kernel Direct Fuzzing2025-05-22