孙全：男，讲师。
研究方向：形式化方法、并发理论、随机微分方程。
基本信息：2007年毕业于齐齐哈尔大学数学与应用数学专业，获理学学士学位；2017年毕业于哈尔滨师范大学应用数学专业，获理学硕士学位；2024年毕业于南京航空航天大学软件工程专业，获工学博士学位。2024年7月至今在天游8线路检测中心数学与统计学院从事教学与科研工作。
科研工作：
论文：在《Journal of Systems Architecture》、《Formal Aspects of Computing》等期刊及会议发表论文5篇，其中SCI收录4篇，EI收录1篇。
项目：参加国家自然科学基金重点项目1项；参加国家自然科学基金面上项目1项。
Email：quansun@hbmzu.edu.cn