教授，博士生导师，岳麓学者，中国计算机学会形式化方法专委会委员。本硕博毕业于国防科技大学计算机公司。2020年加入伟德官网计算机公司。研究方向为高可信软件、程序分析与测试、人工智能。主持国家自然科学基金青年/面上项目、工信部某重大专项子课题、CCF-华为胡杨林基金等多项项目，参与多项973、863、核高基、科技部重点研发、国防预研等项目。在ICSE,ASE,FSE,ISSTA,ISSRE,IEEE-TSC,NeurIPS,TKDE等顶级国际会议及期刊上发表论文二十余篇。