自动推理是人工智能领域的重要分支，是在给定知识及有关推理策略和方法的前提下，研究用计算机帮助人们进行推理的一门融合计算机和数学的交叉学科，其目标是使机器能够具备人脑一样根据已知信息推导出已知或未知信息的处理能力和思维能力。自动推理中的定理自动证明和定理自动发现，程序自动生成、逻辑程序设计以及更一般的智能系统中的推理问题研究是演绎数据库、软件验证、专家系统、知识库、智能机器人等研究领域的重要基础，它已成为当代科学技术研究的热点领域。

　　本方向面向国际科技前沿，以国家的重大战略需求为牵引，致力于研究自动推理的新理论、新方法和相关的高效算法，以及这些推理技术在可信计算、程序验证、信息安全中的应用。主要研究方向有：(1)零误差计算理论，包括整数关系探测，建立代数数、多项式、实代数几何、格上的零误差计算理论与方法，为其它相关领域的研究奠定数学基础，比如程序的自动并行化、模型预测控制、最优化方法、非线性系统的分叉理论等;(2)微分代数方程的误差可控计算和安全攸关的微分系统安全性、正确性验证;(3)以格上的密码学为数学基础，研究相关的全同态密码方案以及基于有限域上多项式符号计算的各种优化算法，发展抵御量子攻击的新一代安全加密算法。

　　该方向依托自动推理与认知重庆市重点实验室，研究实力雄厚，已经组建了一支由中科院院士牵头的高水平、多学科交叉、汇聚多位高层次人才的研究团队，聚集了强大的学术带头人和骨干组成的研究队伍。近5年来，发表高水平论文100余篇，承担国家重大专项、国家973计划、国家自然科学基金等国家级项目20余项，经费总额达3000余万元。