中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室

链接地址:

http://www.arcnl.org/

机构简介:

  历史沿革:自动推理与认知实验室依托于中国科学院重庆绿色智能技术研究院,她的前身是中国科学院成都计算机应用研究所自动推理实验室,培养了中国科学院院士1人,国家***基金获得者2人和学术带头人9人。现实验室结合国家、重庆市的经济、科技发展需求,经重庆研究院批准又建立了“多领域统一建模”和“视频语义认知”两个新的研究方向,既是自动推理技术在先进制造和认知科学的前沿应用,又为人工智能、应用数学、计算机代数等基础研究提出新的科学问题。目前固定科研人员有46人,包括1位中国科学院院士、7名研究员、6名副研究员,其中14人是研究院引进的海外博士;客座教授共5位,其中1位是美国国家工程院院士,2位是中国科学院特聘研究员。总体定位:瞄准国际自动推理领域发展前沿,密切结合国家重大战略需求和重庆本地的经济发展,针对基础性和前瞻性科学问题,开展创新性研究和自主性关键技术研发。