先后在2006、2012年，于西安电子科技大学计算机学院获得工学学士、工学博士学位。

主要从事EDA软件，可信软件，规划与智能推理等领域的研究工作。

以第一/通讯作者在国际/国内期刊Theoretical Computer Science，IEEE Transactions on Reliability, IEEE Transactions on Intelligent Transportation Systems, Journal of Combinatorial Optimization, Mobile Networks and Applications, 中国科学-信息科学，软件学报等发表论文30余篇。

主持国家自然科学基金青年基金项目1项，面上项目1项。作为骨干成员参与多项国家自然科学基金重点项目、总装十一五和十二五预研项目，973项目等。

担任中国计算机学会高级会员、CCF形式化方法专委会委员、IEEE会员、中国人工智能学会会员等职务。