孙振宇

一、基本资料

二、教育背景与工作经历

2009年9月-2013年7月：清华大学，学士

2013年9月-2016年7月：清华大学，硕士

2016年9月-2021年6月：中国人民大学，博士

2021年9月-2025年12月：中国科学院大学，博士后

2026年1月至今：东北大学秦皇岛分校，讲师

三、主讲课程和研究方向

本科生课程：拓扑学、微分几何

研究方向：数理逻辑、数学基础、数学智能和科学智能

四、主要成果

主要论文：

[5] Sun, Z., et.al. (2025). Using AI for Modern Data Analysis. In: Zhou, X., Al-Samarraie, H. (eds) Institutional guide to using AI for research. Advances in Artificial Intelligence in Education, vol 2. Springer, Cham.

[4] Sun, Z., et.al. (2025). Using AI for Literature Review. In: Zhou, X., Al-Samarraie, H. (eds) Institutional guide to using AI for research. Advances in Artificial Intelligence in Education, vol 2. Springer, Cham.

§  

[3] Sun, Z., et al. (2024). How would future mathematicians embrace digital literacy? A TAM model-based analysis. Journal of University Teaching and Learning Practice, 24(9).§  

[2] Sun, Z., et al. (2023). Application of Graph Convolutional Network in the Construction of Knowledge Graph for Higher Mathematics Teaching. Sensors and Materials, 35(12), 1-22.

[1] Sun, Z., (2023) On How “New Mathematics” and Its Foundations Are Possible. In Thought and the Times (Vol. 1): What Is the Contemporary?, 83-102. Beijing: Commercial Press.

主要项目：

[1] 依值类型论及其在形式证明中的应用，中国人民大学科学研究基金，负责人

[2] 当代视域下哲学与科学的连续性研究，国家社会科学基金，参与人

[3] 量子信息科技哲学及其逻辑基础研究，国家社会科学基金，参与人

五、联系方式

电子邮箱：sunzhenyu@neuq.edu.cn