University of Science and Technology of China (USTC)

Gifted Young School & CS Honor Class

B.E. in Computer Science 2019 - 2023
Ranked 1/61, 6/256
Advised by Prof. Yinxing Xue

Hong Kong University of Science and Technology (HKUST)

HKPFS(PF22-78142)

Ph.D. in Computer Science and Engineering 2023 - 20??
Advised by Prof. Shuai Wang

Mathematical Logic

Teaching Assistant

2022 Spring USTC

Programming with C++

Teaching Assistant

2024 Fall HKUST