Anjie Dong

PhD student, School of Data Science, Chinese University of Hong Kong, Shenzhen
Joined
May 2025

Names

Anjie Dong (Preferred)

Emails

****@mail.ncut.edu.cn (Confirmed)

Personal Links

Career & Education History

PhD student
School of Data Science, Chinese University of Hong Kong, Shenzhen (cuhk.edu.cn)
2021 – Present
Undergrad student
School of Artificial Intelligence and Computer Science, North China University of Technology (ncut.edu.cn)
2020 – 2025

Advisors, Relations & Conflicts

PhD Advisor
Ming Yan
2025 – Present

Expertise

Interactive Theorem Prover Implementation
2019 – Present
Dependent Type Theory
2019 – Present

Publications

Co-Authors