CV

Education

• Ph.D. in Computer Science, Nanjing University, 2024 - Present
  • Research Focus: Formal methods on real-world systems
  • Advisor: Yu Huang
  • Department of Computer Science
• Bachelor in Computer Science, Nanjing University, 2020 - 2024
  • Department of Computer Science
  • GPA: [GPA - placeholder]

Research Interests

• Formal methods on real-world systems
• [Specific area 1 - placeholder]
• [Specific area 2 - placeholder]
• [Specific area 3 - placeholder]

Research Experience

[Research Project Title - placeholder]

[Duration - placeholder]

• [Description of the project and your contributions - placeholder]
• [Key achievements or findings - placeholder]

[Research Project Title - placeholder]

[Duration - placeholder]

• [Description of the project and your contributions - placeholder]
• [Key achievements or findings - placeholder]

Projects

• SysMoBench — Benchmark suite for system modeling and runtime verification; contributor on experiments and documentation. GitHub
• Specula — Tooling for specification engineering and runtime monitoring; contributor on tooling improvements and evaluations. GitHub

Skills

• Programming Languages
  • [Language 1 - placeholder]
  • [Language 2 - placeholder]
  • [Language 3 - placeholder]
• Tools & Technologies
  • [Tool/Technology 1 - placeholder]
  • [Tool/Technology 2 - placeholder]
  • [Tool/Technology 3 - placeholder]
• Languages
  • Chinese (Native)
  • English ([Proficiency level - placeholder])

Publications

SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

Qian Cheng, Ruize Tang, Emilie Ma, Finn Hackett, Peiyang He, Yiming Su, Ivan Beschastnikh, Yu Huang, Xiaoxing Ma, Tianyin Xu. "SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems." ICLR 2026.

Research Progress on Distributed System Model Checking

TANG Rui-Ze, HUANG Yu, OUYANG Ling-Zhi, CHENG Qian, ZHANG Yu-Qi, MA Xiao-Xing. "Research Progress on Distributed System Model Checking." (Journal of Software)

Talks

Conference Proceeding talk 3 on Relevant Topic in Your Field

March 01, 2014

Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA, USA

Talk 2 on Relevant Topic in Your Field

February 01, 2014

Talk at London School of Testing, London, UK

Tutorial 1 on Relevant Topic in Your Field

March 01, 2013

Tutorial at UC-Berkeley Institute for Testing Science, Berkeley, CA, USA

Talk 1 on Relevant Topic in Your Field

March 01, 2012

Talk at UC San Francisco, Department of Testing, San Francisco, CA, USA

Awards and Honors

• [Award/Honor - placeholder], [Year - placeholder]
• [Award/Honor - placeholder], [Year - placeholder]

Service and Leadership

• [Conference/Journal review service - placeholder]
• [Academic service - placeholder]

Contact

• Email: cq@smail.nju.edu.cn
• GitHub: https://github.com/Qian-Cheng-nju
• Address: Department of Computer Science, Nanjing University, Nanjing, Jiangsu, China