研究方向介绍：
研究自动推理的理论、算法及程序自动生成的方法。研究内容包括基于符号与数值计算和逻辑推理的定理机器证明、人工智能程序的自动生成及其应用。
教育经历:
1986年-1990 毕业于四川大学数学系数学专业，学士学位
1991年-1994年 中国航空计算技术研究所计算数学专业，硕士学位
2000年-2003年 中科院成都计算机应用研究所计算机软件与理论专业师从杨路研究员，博士学位
2003年-2005年 电子科技大学计算机应用专业，博士后
工作经历:
1990年-1996年 中国航空计算技术研究所软件工程师
1996年-2000年 Leshan-Motorola高级工程师
2004年-2006年 黑龙江省人民政府国有资产监督管理委员会调研员，教授
2006年- 现在 四川建筑职业技术学院科学技术协会副主席，研究员
研究成果及获奖情况:
1. 2003年“基于DIXON结式的聚筛法的软件实现”被张景中院士誉为“非线性代数方程组求解算法研究中的重大进展”
2. 四川省灾后重建专家服务团成员
3. 四川省学术和技术带头人后备人选
4. “西部之光”访问学者
5. 四川省计算机学会高职高专分会第一届理事长
6. 四川省电子学会第十届执行副理事长
联系方式:
Email: r31676@163.com
