教育经历：

2016年，北京大学，博士

2011年，华南理工大学，学士

工作经历：

2025至今，北京航空航天大学，教授

2022-2025，北京航空航天大学，副教授

算法分析与设计

科技写作与报告

约束求解、形式化方法

获奖情况：

2025年，国际SMT求解竞赛QF_Strings赛道，冠军

2012年，国际SAT求解挑战赛随机SAT赛道，冠军

代表性论文：

[1] DiverFPS: Generating Diverse Solutions for Floating-Point SMT Formulas, FSE 2026.

[2] CirOPT: Toward Effective Combinational Equivalence Checking via Compiler Optimization, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2026.

[3] Towards Effective Local Search for Qubit Mapping. IEEE Transactions on Computers, 2025.

[4] Towards High-Strength Combinatorial Interaction Testing for Highly Configurable Software Systems, ICSE 2025.

[5] SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization, ASE 2025.