生于1980年，研究员，博士，瑞典林雪平大学博士后研究员，中国科学院大学教授、博士生导师，四川省“天府万人计划”科技菁英，中国科学院“西部青年学者”，四川省海外高层次留学人才，荣获四川省科技进步二等奖、中国电子学会自然科学奖、中国科学院院长优秀奖等，现任中科院成都信息技术股份有限公司副总工程师（自动推理实验室常务副主任），担任中国科学院成都计算机应用研究所学位委员会委员、四川省普通本科数学类教指委委员、四川省“十四五”及中长期电子信息领域科技发展规划副组长，国家科技进步奖专家库、国家科技专家库、国家自然科学基金专家库、教育部专家评审专家库、科技奖励与项目（四川、重庆、河北、西藏、湖北、浙江、深圳市、成都市、武汉市、宁波市、南充市）评议专家。主要从事自动推理与代数视觉研究，论文入选ESI高被引。