张元睿，硕士生导师，2019年毕业于华东师范大学软件工程专业，获得博士学位。2013-2014年赴法国INRIA国家信息自动化研究所访问1年，2019-2023年在西南大学从事博士后研究工作。目前，已在软件工程形式化方法领域的国内外期刊会议发表论文20余篇，包括：Science of Computer Programming、Formal Aspects of Computing、Journal of Logical and Algebraic Methods in Programming、Frontier of Computer Science、TASE、QRS等。主持国家自然科学青年基金、重庆市自然科学博士后基金等项目资助。

2008.9 -- 2012.6
北京科技大学       数学与应用数学       学士毕业       学士学位

2012.9 -- 2013.6
华东师范大学       软件工程       硕士研究生在读

2013.9 -- 2014.6
法国尼斯大学       软件工程       硕士研究生毕业       硕士学位

2014.9 -- 2019.6
华东师范大学       软件工程       博士毕业       博士学位

2024.1 -- 至今

南京航空航天大学      计算机科学与技术学院/软件学院      讲师

2019.9 -- 2023.6

西南大学      数学与统计学院      博士后研究员