Manqing Zhang

Manqing Zhang

张满青

Manqing Zhang is a fourth-year PhD student at Northwestern Polytechnical University under the supervision of Prof. Zhiming Liu and Prof. Yunwei Dong. I got my master degree of Software Engineering from Northwestern Polytechnical University in 2022. I am a visiting student at Southern University of Science and Technology (SUSTech), supervised by Prof. Yepang Liu.

My research is focused on using formal verification techniques to ensure system software security. Specifically, my current research focuses on designing techniques to improve the efficiency of interactive theorem proving script synthesis and evolution. In addition, I am also interested in learning and exploring related theories and techniques of model checking.

I am very fond of discussions and exchanges, if you are interested in my research, please email me. I also welcome the whiz in formal verification research to take me off the ground.

🔥 News

  • 2025.12:  🎉🎉 Our paper on improving neural theorem proving has been directly accepted to FSE 2026, with a highly competitive direct acceptance rate of only 9.5%. This work represents the first CCF-A software engineering conference paper from the School of Software, Northwestern Polytechnical University.
  • 2025.11:  🎉🎉 Our paper on abnormal human behavior understanding in videos has been accepted to AAAI 2026. Congrats to Lingru!
  • 2025.10:  🎉🎉 I am honored to have received the National Scholarship.
  • 2024.09:  🎉🎉 I will be a visiting student at Southern University of Science and Technology. I am honored to work under the guidance of Prof. Yepang.
  • 2022.09:  🎉🎉 I will continue my Ph.D. study at Northwestern Polytechnical University. I am honoured to have the guidance of Prof.Liu.
  • 2022.03:  🎉🎉 I received my master degree at Northwestern Polytechnical University. I am very grateful to my supervisors Prof. Zheng, as well as my dear friends and roommates.

📝 Publications

Google Scholar    DBLP

# means co-first author; * means corresponding author

Conference

  1. [FSE’26] Manqing Zhang, Yunwei Dong, Lingru Zhou, Bingxu Xiao and Yepang Liu. ProofFusion: Improving Neural Theorem Proving via Adaptive Retrieval-Augmented Reasoning. The ACM International Conference on the Foundations of Software Engineering (FSE 2026). (Directly acceptance rate 9.5%=87/918) (CCF-A)
  2. [AAAI’26] Lingru Zhou, Peng Wu, Manqing Zhang, Qingsheng Wang, Guansong Pang and Peng Wang. TargetVAU: Multimodal Anomaly-Aware Reasoning for Target Behavior Understanding in Videos. The 40th Annual AAAI Conference on Artificial Intelligence. (Acceptance rate 17.6%=4,167/23,680) (CCF-A)
  3. [QRS’24] Manqing Zhang, Renliang Wu, Kang Su, Yunwei Dong and Tao Zhang. Application Scenario Modeling and Verification for Unmanned Aerial Vehicle Swarm. The 24th IEEE International Conference on Software Quality, Reliability, and Security. (Acceptance rate 23.8%=50/210) (CCF-C)
  4. [ISSRE’21] Wei Zheng, Manqing Zhang*, Hui Tang, Yuanfang Cai, Xiang Chen, Xiaoxue Wu and Abubakar Omari Abdallah Semasaba. Automatically Identifying Bug Reports with Tactical Vulnerabilities by Deep Feature Learning. 2021 IEEE 32nd International Symposium on Software Reliability Engineering. (Acceptance rate 27.5%=52/189) (CCF-B)
  5. [SANER’21] Wei Zheng, Guoliang Liu, Manqing Zhang, Xiang Chen and Wenqiao Zhao. Research Progress of Flaky Tests. 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering. (CCF-B)
  6. [ESEC/FSE’19] Yulei Sui, Yifei Zhang, Wei Zheng, Manqing Zhang and Jingling Xue. Event Trace Reduction for Effective Bug Replay of Android Apps via Differential GUI State Analysis. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. (CCF-A)
    [Artifact] Echo: it replay and reduce Android GUI test cases.

Journal

  1. [JSS'25] Manqing Zhang, Yunwei Dong, Tao Zhang, Kang Su and Zeshan Li. Modeling and Verifying Resources and Capabilities of Ubiquitous Scenarios for Unmanned Aerial Vehicle Swarm. Journal of Systems and Software (JSS) 2025. (CCF B, SCI 2区)
  2. [TMM'24] Lingru Zhou, Yiqi Gao, Manqing Zhang, Peng Wu, Peng Wang and Yanning Zhang. Human-centric Behavior Description in Videos: New Benchmark and Model. IEEE Transactions on Multimedia (TMM) 2024. (CCF B, SCI 1区)
  3. [计算机研究与发展'22] 郑炜, 唐辉, 陈翔, 张满青, 夏鑫. 安卓移动应用兼容性测试综述. 计算机研究与发展, 2022, 59(6): 1370-1387. (CCF-A)

🎖 Honors and Awards

  • Award1 2025.11, 西北工业大学优秀研究生.
  • Award1 2025.10, 国家奖学金.
  • Award1 2022.08, 西北工业大学优秀硕士学位论文奖. [Reference]
  • Award1 2019.04, 安徽省普通高等学校品学兼优毕业生.
  • Award1 2015-2019, 国家励志奖学金*3.

📖 Educations

  • 2022.09 - now, School of Software, Northwestern Polytechnical University

    Ph.D., Software Engineering, Supervisors: Prof. Zhiming Liu and Prof. Yunwei Dong

  • 2019.09 - 2022.04, School of Software, Northwestern Polytechnical University

    Master of Engineering, Software Engineering, Supervisors: Prof. Wei Zheng

  • 2015.09 - 2019.06, School of Computer and Information, Anhui Polytechnic University

    Bachelor of Engineering, Computer Science & Technology, Supervisors: Prof. Yu Xiu

💬 Invited Talks

  • 2025.11, Towards Trustworthy and Effective Neural Theorem Proving via Prior Knowledge Augmentation. In the RITAS Technical Symposium at SusTech (Online).

📚 Reviewer

  • Not enough level to be a reviewer.

💻 Internships

  • When the research is done well, it may be possible to do an internship for a period of time.