Weizhi Feng (冯维直)'s Homepage
Contact
- Office: No. 601, Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email:
fengwz###ios**ac*cn
About me
I am currently a Ph.D student in the group. My main research interests are:
- Linear Temporal Logic and Büchi automata
- Hardware verification
More details, check my homepage.
Education
- Sept. 2019 – present: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- Sept. 2015 – Jun. 2019: Computer Science and Technology (Bachelor's degree) at EECS, Peking University
Publications
- Weizhi Feng, Shidong Shen, Jiaxiang Liu, Taolue Chen, Fu Song, Zhilin Wu. Can LLM Aid in Solving Constraints with Inductive Definitions?. 27th Symposium on Formal Methods (FM), 2026. DOI
- Shidong Shen, Jinyu Liu, Weizhi Feng, Fu Song, Zhilin Wu. BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing. 2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2025. DOI
- Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu. Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once. Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024. DOI