Photographed by Nan Fang

I am a professor in Nanjing University. My major research interests are recursion theory (also called computability theory), set theory and algorithmic randomness theory.



Phone: +86-25-83686432


Office: Mengminwei building 1110-3

Mailing Address:

Mathematical Department,

Nanjing University,

Nanjing City, Jiangsu Province 210093,

P. R. of China

Current Ph.D students: Jia Deng.

For students who want to choose me as a mentor, it is strongly recommended that you take my logical course (either in math or computer science department) first so that we can make the right decision.

Master students supervised:

  • Yabang Song, graduated in 2008 (Now at China Mobile).

  • Yunjiang Cao, graduated in 2018 (Now at Agricultural Bank of China)

  • Ruofei Xie, (Now at Victoria University of Wellington, NZ)

  • Xiuyuan Sun, graduated in 2019, (Now at University of Münster, Germany)