Dong Anjie

anjiedong at link dot cuhk dot edu dot cn

I am a PhD student at the School of Data Science, The Chinese University of Hong Kong, Shenzhen, supervised by Professor Yan Ming. I study the implementation and theory of type-theoretic interactive theorem provers, and the formalization of mathematics.