Qian Cheng (Preferred)
Qian Cheng
PhD student, nanjing university
- Joined September 2025
Names
Emails
****@smail.nju.edu.cn (Confirmed)
Personal Links
Career & Education History
PhD student
nanjing university (nju.edu.cn)
2024 – 2029
Undergrad student
nanjing university (nju.edu.cn)
2020 – 2024
Advisors, Relations & Conflicts
Expertise
Formal Method for real-world systems
2024 – 2026