现任湖南大学信息科学与工程学院副教授，博士生导师，中国计算机学会形式化方法专委会委员。博士毕业于国防科技大学计算机学院，毕业后任江南计算机技术研究所助理研究员，2020年加入湖南大学信息科学与工程学院。研究方向为高可信软件、程序分析与测试、人工智能。主持国家自然科学基金，参与多项973、863、核高基、科技部重点研发、国防预研等项目。在ICSE、ASE、FSE、ISSTA、ISSRE、IEEE-TSC、NeurIPS、TKDE等顶级国际会议及期刊上发表论文十余篇。

个人主页：http://csee.hnu.edu.cn/people/zhangyufeng