💬 Talks

• 2025.11–2025.12, “SAT求解及EDA形式化技术简述”, 东北师范大学, 吉林大学, 西南交通大学, 西华大学, 等 🎞️Slides

• 2025.11, “异构并行SAT求解及组合等价性验证”, ChinaSoft 2025, 🎞️Slides

• 2025.11, “EDA形式化验证的并行算法”, ChinaSoft 2025, 🎞️Slides

• 2025.08 “CCF形式化方法专委会青年学术论坛–形式化方法在基础软件中的应用”. 🎥Video

• 2025.05, “Advances on SAT and Equivalence Checking”, ISEDA 25 🎞️Slides

• 2024.08, “SAT求解及其EDA应用简述”, Institute of Computing Technology, Chinese Academy of Sciences, 🎞️Slides

• 2024.06, “坐稳“冷”板凳，在不变中拥抱变化”, Institute of Computing Technology, Chinese Academy of Sciences, 🎞️Slides

• 2024.05, “SAT求解及其EDA应用简述”, Huawei, 🎞️Slides

• 2024.05, “Practical Boolean SAT Solving Techniques”, ISEDA 24, 🎞️Slides

• 2023.12, “Hybrid Solvers, Preprocessing, and Parallel Solvers for SAT/SMT”, KouShare, 🎞️Slides 📽️Video

• 2023.07, “SAT并行求解与密码学求解应用”, 🎞️Slides