🔥 News

• 2025.08： 🎉🎉 国际SAT协会最佳博士论文奖（每年全球一篇，亚洲首个）
• 2025.08： 🎉🎉 1 paper has been accepted by ASE (CCF-A)
• 2025.07： 🎉🎉 博士学位论文获得“中科院优秀博士论文”
• 2025.05:  🎉🎉 1 papers has been accepted by CP（CCF-B）
• 2025.02:  🎉🎉 4 papers have been accepted by DAC（CCF-A）
• 2024.12:  🎉🎉 中国研究生创“芯”大赛·EDA精英挑战赛 二等奖 + 企业特别奖
• 2024.08:  🎉🎉 Second Place in SAT Competition Cloud Track
• 2024.07:  🎉🎉 中国科学院大学2024年毕业典礼，研究生代表
• 2024.06:  🎉🎉 “中国科学院大学 院长奖-特别奖”
• 2024.05:  🎉🎉 ISEDA talk: “Practical Boolean SAT Solving Techniques”.