简历：
2024年6月，博士毕业于中国科学院软件研究所，2024年7月起任职中国科学院计算技术研究所，从事芯片敏捷设计方法以及形式化验证方面的工作。
研究方向：
形式化方法、软硬件验证、软硬件深度融合
代表论著：
[1]Yufeng Li, Yiwei Ci, Qiusong Yang, Enyuan Tian. Efficient processor verification by tautologies-derived universal properties model checking. Integration 2025: 102502
[2]Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian. SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution. DAC 2024: 258:1-258:6
[3]Yufeng Li, Yiwei Ci, Qiusong Yang. TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. ASP-DAC 2024: 269-274
京公网安备1101080060号
