实验室技术委员会主任

张景中，中国科学院院士、计算机学科和数学学科博士生指导教师。1991年开始享受政府特殊津贴。1995年当选为中国科学院院士。曾获“全国优秀教师”等称号及“全国五一劳动奖章”。张景中院士主要从事定理机器证明和动力系统等领域的研究。其主要贡献是：（1）提出了面积解题方法，并用之于机器证明的研究，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。（2）创立计算机生成几何定理可读证明的原理和算法，这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。（3）创立定理机器证明的数值并行方法的原理和算法。（4）对几何定理机器证明的吴方法进行了改进和发展，创立了含参结式法，升列组的WR分解算法，彻底解决了可约升列相对分解问题。

实验室学术带头人

徐扬，博士，西南交通大学教授，博士生导师，全国先进工作者，国家有突出贡献的中青年专家，全国教育系统劳动模范，“人民教师奖章”获得者，四川省学术和技术带头人。主要研究领域：逻辑代数、代数逻辑、不确定性推理和自动推理。先后承担科技项目30余项（其中主持国家自然科学基金项目12项，国际科技合作项目4项，国家部委项目5项）。先后在国内外杂志和学术会议上独立或合作发表学术论文800余篇（其中SCI收录94篇，EI收录162篇，ISTP收录187篇）；在国（境）内外合作出版著作9部。研究成果被20多个国家和地区的千余学者大量引用或跟踪研究。应邀到国（境）内外多所大学、研究机构讲学或合作研究，并被聘请为客座教授。在国内外多个学术团体中任职，先后培养了一大批博士后、博士生、硕士生。

实验室技术骨干人员（部分）简表