• 中国科学院软件研究所基础软件与系统重点实验室招聘启事2024-05-09
• 中国科学院软件研究所基础软件与系统重点实验室2024年优秀人才招聘启事2024-01-25
• AIA：AI辅助算法设计的若干尝试2023-12-22
• 知识图谱的关键技术2023-12-20
• An FPRAS for two terminal reliability in directed acyclic graphs2023-12-01
• 概率递归关系尾概率的自动化分析2023-11-01
• 2nd-SKLCS Seminar on”Alternating Good-for-MDPs Automata”2023-10-20
• 1st-SKLCS Seminar on”Fast Verified SCCs for Probabilistic Model Checking”2023-10-20
• TrustInSoft Analyzer: a formal methods-based software for industry2023-10-10
• 【08-31】SKLCS Seminar on”Integrating SAT Techniques in Hard Problem Solving”2023-08-15
• 【08-05】 Building the Theory Foundation for Real-Time Robotic Operating System (ROS)2023-07-31
• 【06-19】SKLCS Seminar on “Functional Verification in RTL Models using Concolic Testing”2023-06-12
• 【05-31】SKLCS Seminar on “Algorithmic Perspectives on Certification of Machine Learning”2023-05-25
• 【05-17】SKLCS Seminar on “ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration”2023-05-09
• 【05-08】SKLCS Seminar on “ 模糊测试的种子输入生成技术”2023-05-03