2012年，北京大学信息科学技术学院计算机软件与理论理学博士学位；2006年，北京大学信息科学技术学院计算机科学与技术理学学士学位。2015年-2016年荷兰格罗宁根大学访问学者。2018年至今，北京科技大学计算机与通信工程学院副教授。主要研究领域为模型驱动工程、双向转换、模型转换、领域语言、代码生成、软件测试、形式化方法。在FSE、ISSTA、ASE、MODELS、JSS、IST、SoSyM、Science China、软件学报等国内外软件工程重要国际会议和期刊上发表论文三十余篇。担任第10届国际双向变换研讨会主席，多次担任ChinaSoft分论坛联合主席，并多次担任多个国际会议的程序委员会委员和组织会委员会委员、多个国际期刊的审稿人。发表在MODESL'22上的论文获得大会最佳论文和ACM Distinguished Paper Award。