• 2025-04-27【04-27】知行融创论坛：A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
• 2025-04-27【04-27】知行融创论坛：Piecewise Analysis of Probabilistic Programs via k-Induction
• 2025-04-27【04-27】知行融创论坛：Distributed SMT Solving Based on Dynamic Variable-level Partitioning
• 2025-04-27【04-27】知行融创论坛：complexity classification of #EO problems
• 2025-04-01【04-07】SKLCS Seminar on“内存程序（stored program concept)的数字计算机想法”
• 2024-12-23基于模型检测的处理器端到端验证方法
• 2024-12-02增强代码智能：MarsCode Agent的进展与应用
• 2024-12-02A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
• 2024-11-22Towards Safe AI for Cyber-Physical Systems
• 2024-11-21最优化模理论及其程序分析应用
• 2024-11-20Formal Verification of eBPF interpreter and Just-In-Time compiler
• 2024-11-12Automated Auditing of Blockchain Smart Contracts Using Large Language Models
• 2024-09-15Proof of Proof offers Universal Verifiable Computing by Correct-by-Construction ZKP Generation for All Programming Languages
• 2023-12-22AIA：AI辅助算法设计的若干尝试
• 2023-12-20知识图谱的关键技术