Szll line
Img 0488

BIO

COURSES:

数理逻辑,可计算性与可判定性

RESEARCH FIELD

数理逻辑, 递归论,算法随机性理论,集合论

CONTACT

Dianhua icon+86-25-83686432 Dizhi iconyuliang.nju@gmail.com