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
Talks
Specula: Generating TLA+ Specifications from System Code Using Generative AI Permalink
Talk at TLA+ Community Meeting, Online
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