近日，中国科学院成都计算机应用研究所与电子科技大学联合成立自动推理联合实验室。

联合实验室主任由成都计算所张景中院士担任，杨路研究员、冯勇研究员分别担任第一副主任和第二副主任。联合实验室的地点分别设在成都计算所和电子科技大学。

联合实验室的正式成立，标志着电子科大和成都计算机所之间建立起固定合作组织机构，全面开展双方合作工作。双方将把联合实验室逐步建成富有特色的信息中心和开展双方相互合作的管理机构，并通过实验室的发展，利用科学院与大学的各自的优势，不断地培养出优秀科研人才，不断地进行基础性、原创性和前瞻性的研究，从而达到支持相关学科的发展，进一步提高其在国内外相关学术领域的地位，同时为社会输送更多人才。