科研
数理逻辑与递归论（可计算性理论）；关注可计算度结构、Ershov 层级、归纳强度及优先方法。
已发表与接收论文
“Isolated d.c.e. Degrees and Σ₁ Induction.” Annals of Pure and Applied Logic, 2026, 177(3): 103678.
“Robinson Splitting Theorem and Σ₁ Induction.” Journal of Symbolic Logic, 2026.
“Weak Density and Nondensity among Transfinite Levels of the Ershov Hierarchy.” Notre Dame Journal of Formal Logic, 2020, 61(4): 521–536.
“Isolated Maximal d.r.e. Degrees.” Annals of Pure and Applied Logic, 2019, 170(4): 515–538.
预印本与投稿
“Bi-Isolated d.c.e. Degrees and Σ₁ Induction.” 2025. [arXiv:2512.03778]
“Finite Final Segments of the d.c.e. Turing Degrees.” 2024. [arXiv:2403.04254]
“On the Nonexistence of a Strong Minimal Pair.” 2022. [arXiv:2211.11157]
学位论文
“The Structure of d.r.e. Degrees.” PhD thesis, National University of Singapore, 2017.
学术活动
Δ 27 Workshop in Logic，南京大学，南京。
Δ 21 Logic Meeting，复旦大学，上海。
2024全国数理逻辑年会，北京大学，北京。
报告：3-递归可枚举度中的分裂性质（Splitting Property in 3-c.e. Degrees）
Δ 20 Logic Meeting，南京晓庄学院，南京。
承办
Δ 19 Logic Meeting，南京大学，南京。
2023全国数理逻辑年会，中山大学，珠海。
报告：强极小对（Strong Minimal Pair）
Recursion Theory and Its Application，浙江大学数学高等研究院，杭州。
2023 Beijing Logic Meeting，中国科学院，北京。
报告：3-递归可枚举度中的分裂性质（Splitting Property in 3-c.e. Degrees）
From ω to Ω，新加坡国立大学数学科学研究所，新加坡。
报告：3-递归可枚举度中的分裂性质（Splitting Property in 3-c.e. Degrees）
2021全国数理逻辑年会，南开大学，天津。
Δ 15 Workshop in Logic，南京大学，南京。
Logic Workshop in Nanjing，南京大学，南京。
2020全国数理逻辑年会，线上。
报告：A Priority Argument in 0^(4)
The 9th International Conference on Computability Theory and Foundations of Mathematics。
报告：There Is No Strong Minimal Pair
2018全国数理逻辑年会。
报告：The Structure of d.r.e. Degrees
IMS Graduate Summer School in Logic。
Δ 5 Workshop in Logic，江苏大学。
报告：Final Segments in d.r.e. Degrees
IMS-JSPS Joint Workshop on Mathematical Logic and the Foundations of Mathematics。
New Challenges in Reverse Mathematics。
IMS Graduate Summer School in Logic。
IMS Graduate Summer School in Logic。
Asian Initiative for Infinity (AII) Graduate Summer School。
Asian Initiative for Infinity (AII) Graduate Summer School。