I am a professor in Nanjing University. My major research interests are recursion theory (also called computability theory), set theory and algorithmic randomness theory.
Current master students: None.
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)
Logic workshop in Nanjing 2020 is cancelled!