近日，中国科学院成都计算机应用研究所与电子科技大学联合成立自动推理联合实验室。
联合实验室主任由成都计算所张景中院士担任，杨路研究员、冯勇研究员分别担任第一副主任和第二副主任。联合实验室的地点分别设在成都计算所和电子科技大学。
联合实验室的正式成立，标志着电子科大和成都计算机所之间建立起固定合作组织机构，全面开展双方合作工作。双方将把联合实验室逐步建成富有特色的信息中心和开展双方相互合作的管理机构，并通过实验室的发展，利用科学院与大学的各自的优势，不断地培养出优秀科研人才，不断地进行基础性、原创性和前瞻性的研究，从而达到支持相关学科的发展，进一步提高其在国内外相关学术领域的地位，同时为社会输送更多人才。
特别声明：本文转载仅仅是出于传播信息的需要，并不意味着代表本网站观点或证实其内容的真实性；如其他媒体、网站或个人从本网站转载使用，须保留本网站注明的“来源”，并自负版权等法律责任；作者如果不希望被转载或者联系转载稿费等事宜，请与我们接洽。
