Anjie Dong (Preferred)
Anjie Dong
Pronouns: they/them
PhD student, School of Data Science, Chinese University of Hong Kong, Shenzhen
Undergrad student, School of Artificial Intelligence and Computer Science, North China University of Technology
- Joined May 2025
Names
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
Expertise
Interactive Theorem Prover Implementation
2019 – Present
Dependent Type Theory
2019 – Present