刘勇
LIU Yong
讲师 · 数理逻辑与可计算性理论
南京晓庄学院信息工程学院
我生于南京，先后就读于南京师范大学附属中学和南京师范大学，后赴新加坡国立大学深造，并获得硕士、博士学位。此后，我先后在新加坡国立大学和南洋理工大学从事研究工作。回国后，我曾在南京大学数学系（今数学学院）从事科研工作，现任南京晓庄学院信息工程学院讲师。
研究方向
数理逻辑与递归论（可计算性理论），主要关注可计算度结构、Ershov 层级、归纳强度及优先方法。
“Isolated d.c.e. Degrees and Σ₁ Induction.” Annals of Pure and Applied Logic, 2026, 177(3): 103678. [doi:10.1016/j.apal.2025.103678]
“Robinson Splitting Theorem and Σ₁ Induction.” Journal of Symbolic Logic, 2026. [doi:10.1017/jsl.2026.10244]
“Weak Density and Nondensity among Transfinite Levels of the Ershov Hierarchy.” Notre Dame Journal of Formal Logic, 2020, 61(4): 521–536. [doi:10.1215/00294527-2020-0023]
教学
现在主要讲授组合数学、离散数学、点集拓扑、高等数学II。曾讲授微积分、线性代数、概率论与数理统计。