副研究员，1980年2月出生,男，2009 年毕业于中国科学院研究生院(硕博连读)，获工学博士学位。主要研究方向为符号计算和程序验证。参与多项国家自然科学基金、国家973项目。目前主持国家自然科学基金和重庆市科技攻关重点项目各一项。