About Me

I’m a Ph.D student at the Verification of System Software Group in the Institute of Software, Chinese Academy of Sciences (ISCAS), supervised by Prof. Lijun Zhang and Prof. Zhilin Wu. I previously earned a Bachelor’s degree in Computer Science and Technology at the School of EECS, Peking University.

My research interest includes Formal Verification for Software and Hardware Programs, and Large Language Model assisted Formal Methods.

My resume.

Publications

Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once.
Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N Jansen, Lijun Zhang, Zhilin Wu. in 61st ACM/IEEE Design Automation Conference (DAC), 2024.
On the power of finite ambiguity in Büchi complementation.
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang. in Inf. Comput. (IANDC), 2023.
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition.
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang. in International Conference on Computer Aided Verification (CAV), 2022.
Modelling and Implementation of Unmanned Aircraft Collision Avoidance.
Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li. in International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA), 2020.

2019.06 - (now), Institute of Software, Chinese Academy of Sciences. Computer Software and Thoery, Ph.D Candidate.
2015.09 - 2019.06, School of EECS, Peking University. Computer Science and Technology, B.S.

2024.06, in the 61st ACM/IEEE Design Automation Conference (DAC), San Francisco, United States.