Weizhi Feng (冯维直)’s Homepage


  • 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


  • 9/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
  • 9/2015 – 6/2019: Computer Science and Technology (Bachelor’s degree) at EECS, Peking University


  • On the Power of Finite Ambiguity in Büchi Complementation, Feng, W.; Li, Y.; Turrini, A.; Vardi, M. Y. and Zhang, L. arXiv:2109.12828. doi