Skip to main content

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

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, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu: Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once. In 61st ACM/IEEE Design Automation Conference, DAC 2024, San Francisco, CA, USA, June 23-27, 2024, 2024.
  • Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang: On the power of finite ambiguity in Büchi complementation. In Inf. Comput. 292:105032, 2023.
  • Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang: Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. In Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II, volume 13372 of Lecture Notes in Computer Science, pages 152-173, 2022.
  • Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li: Modelling and Implementation of Unmanned Aircraft Collision Avoidance. In Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, volume 12153 of Lecture Notes in Computer Science, pages 52-69, 2020.