Haocheng Wang

PhD student, DSA Thrust, The Hong Kong University of Science and Technology

Researcher, D-INFK, ETHZ - ETH Zurich

  • Joined September 2024

Names

Haocheng Wang (Preferred)

Emails

****@xmu.edu.my (Confirmed)
,
****@gmail.com (Confirmed)
,
****@inf.ethz.ch (Confirmed)
,
****@connect.hkust-gz.edu.cn (Confirmed)

Personal Links

Career & Education History

PhD student
DSA Thrust, The Hong Kong University of Science and Technology (hkust-gz.edu.cn)
2026 – Present
 
Researcher
D-INFK, ETHZ - ETH Zurich (ethz.ch)
2025 – Present
 
Intern
Seed, ByteDance Inc. (bytedance.com)
2025 – 2025
 
Undergrad student
Department of Mathematics and Physics, Xiamen University Malaysia (xmu.edu.my)
2020 – 2025
 
Intern
DeepSeek AI (deepseek.com)
2024 – 2024
 

Advisors, Relations & Conflicts

PhD Advisor
2026 – Present
 

Expertise

Formal Math
Present
 
AI for Mathematics
Present