中国科学院重庆绿色智能技术研究院（以下简称“重庆研究院”）是中国科学院、原国务院三峡办、重庆市人民政府三方共建的中国科学院直属科研机构。2011年3月开始筹建，2012年7月26日正式获得中央机构编制委员会办公室...
刘鸿
韦方强
陈永波
学术委员会
学位委员会
媒体扫描
截至2023年12月，重庆研究院现有创新人才队伍近500人，其中各类专业技术人才近400人，包括国家级人才5人、中国科学院院级人才133人、重庆市市级人才81人；现有博士研究生导师46名，硕士研究生导师71名。在册职工中92%具有研究生学历，54%具有博士学位，43%具有海外留学或工作经历。人才队伍以专业技术岗位为主（占88%），其中高级专业技术人员占比52%。
两院院士
杰出青年基金
优秀青年基金
正高级岗位
副高级岗位
青促会
西部之光
学习专栏
党务公开
纪检监察审计
高校联合招生
师资队伍
教育教学
信息公开指南
信息公开目录
依申请公开
信息公开联系方式
自动推理与认知研究中心
研究方向
1.自动推理
包括：符号数值混合计算，基于数据的深度融合新推理理论与方法，以及自动推理在自动并行化、程序验证、智慧交通、工业CAD/CAE中的应用。
2.隐私计算
包括：格密码理论、同态加密方案的安全性验证与优化、格密码方案设计、生物大数据的隐私计算模型与方法。
