Haocheng Wang (Preferred)
Haocheng Wang
PhD student, DSA Thrust, The Hong Kong University of Science and Technology
Researcher, D-INFK, ETHZ - ETH Zurich
Joined
September 2024
Names
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
Expertise
Formal Math
Present
AI for Mathematics
Present