学术委员会
学位委员会
媒体扫描
截至2024年12月,重庆研究院现有创新人才队伍近500人,其中各类专业技术人才近400人,包括国家级人才6人、中国科学院院级人才127人次、重庆市市级人才95人次;现有博士研究生导师37名,硕士研究生导师75名。在册职工中92%具有研究生学历,59%具有博士学位,45%具有海外留学或工作经历。人才队伍以专业技术岗位为主(占88%),其中高级专业技术人员占比53%。
两院院士
杰出青年基金
优秀青年基金
正高级岗位
副高级岗位
青促会
西部之光
学习专题
党务公开
纪检监察审计
高校联合招生
师资队伍
教育教学
信息公开指南
信息公开目录
依申请公开
信息公开联系方式
自动推理与认知研究中心
研究方向
1.自动推理
包括:符号数值混合计算,基于数据的深度融合新推理理论与方法,以及自动推理在自动并行化、程序验证、智慧交通、工业CAD/CAE中的应用。
2.隐私计算
包括:格密码理论、同态加密方案的安全性验证与优化、格密码方案设计、生物大数据的隐私计算模型与方法。