• 【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
• 【05-28】知行融创论坛：Patch Synthesis for Property Repair of Deep Neural Networks2025-05-22
• 【05-28】知行融创论坛：Complete Quantum Relational Hoare Logics from Optimal Transport Duality2025-05-16
• 【05-28】知行融创论坛：Polynomial time algorithms for typical #EO problems2025-05-16
• 软件所计数复杂性研究连中三元2025-05-09