• 【2022-08-26】SKLCS Seminar on”约束满足解的近线性时间采样算法”2022-08-21
• 【2022-08-19】SKLCS Seminar on “多项式优化：理论与实践”2022-08-11
• [2022-07-01] Local Search for SMT on Linear Integer Arithmetic2022-06-29
• [2022-04-06] Seminar on “End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers”2022-06-29
• [2022-03-03]Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time2022-03-01
• 2022年开放课题申请工作正式开始2021-12-27
• [2021-12-23]JIZHI: A Fast and Cost-Effective Model-As-A-Service System for Web- Scale Online Inference at Baidu2021-12-21
• 【2021-11-9】Constructive Bidirectional Programming2021-12-21
• 【2021-10-20】SKLCS Seminar on “机器学习公理化”2021-10-18
• 【2021-06-29】SKLCS Seminar on “智能化软件工程和智能软件工程：人工智能和软件工程的交叉融合”2021-10-18
• [06-16] Deductive Verification of Smart Contracts2021-06-11
• [05-07]Safety Design and Verification of Learning-Enabled Cyber-Physical Systems2021-05-07
• [01-20] 软件定义卫星与天智工程2021-01-20
• TR 2019-20202021-01-13
• [01-08] 基于定理证明的分离逻辑验证工具2021-01-07