彭程，男，中共党员，1987 年 11 月生。

【工作与教育经历】

2021.10 – 今， 河北工业大学理学院 讲师

2018.09 – 2021.09 南开大学数学科学学院 博士后

2013.08 – 2018.05 新加坡国立大学数学系 博士

2010.09 – 2013.07 南京大学数学系 硕士

2006.09 – 2010.07 河北师范大学数学科学学院 本科

【研究领域】

数理逻辑，主要研究方向为可计算性理论与描述集合论

【主讲课程】

高等数学、数学分析、数学分析习题训练

【教研/科研项】

1. 参与国家自然科学基金面上项目，实数的可计算性研究，2012 – 2015

2. 参与国家自然科学基金面上项目，波兰群诱导的等价关系之间的波莱尔归约，2023 – 2026

【代表性论文】

1. Yong Liu, Cheng Peng. Weak density and nondensity among transfinite levels of the Ershov hierarchy, Notre Dame Journal of Formal Logic 61 (2020), no. 4, 521–536.

2. Longyun Ding, Jiaming Li, Cheng Peng. Essential complexity of metrizable spaces, Topology and Its Application, 301 (2021), 107501.

3. Cheng Peng. On transfinite levels of the Ershov hierarchy, The Bulletin of Symbolic Logic, 27 (2021), no. 2, 220–221.

4. Cheng Peng. Normalizing notations in the Ershov hierarchy, Mathematical Logic Quarterly, 67 (2021), no. 4, 506-513.

【联系方式】

pengcheng@hebut.edu.cn