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

• 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

Preprints

• 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

Conferences

• Modelling and Implementation of Unmanned Aircraft Collision Avoidance, Feng, W.; Huang, C.-C.; Turrini, A. and Li, Y. In SETTA, 2020.