个人简介

教授

主要课程：

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

研究领域：

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

联系方式：

+86-25-83686432 yuliang.nju@gmail.com