Dongheng Chen

PhD student, The Hong Kong University of Science and Technology

  • Joined September 2022

Names

Dongheng Chen (Preferred)

Emails

****@qq.com (Confirmed)
,
****@zju.edu.cn (Confirmed)
,
****@connect.hkust-gz.edu.cn (Confirmed)

Personal Links

Career & Education History

PhD student
The Hong Kong University of Science and Technology (hkust-gz.edu.cn)
2025 – 2028
 
MS student
Zhejiang University (zju.edu.cn)
2021 – 2024
 
Undergrad student
Mathematics, SUN YAT-SEN UNIVERSITY (sysu.edu.cn)
2017 – 2021
 

Advisors, Relations & Conflicts

PhD Advisor
2025 – 2028
 

Expertise

Automated theorem proving
2024 – 2025