电子信息技术研究所——自动推理与认知研究中心

一、中心定位瞄准自动推理和认知科学的发展前沿，密切结合国家重大战略需求和重庆本地经济发展，针对自动推理和可信计算的基础性和前瞻性科学问题，开展创新型研究和自主性关键技术研发，以促进和推动自动推理与信息安全的融合交叉与发展；研发具有自主知识产权的关键技术和软件平台，以满足国家、行业部门，尤其重庆地区的需求；为国家和地方培养高水平的专业人才。二、研究方向中心研究主要围绕两大方向：1.自动推理与可信计算；2.信息安全。其中自动推理与可信计算研究方向的研究内容包括：符号计算、自动推理、误差可控计算的理论与方法；信息安全的研

发布时间：2018-01-01