4月16日，重庆市科学技术委员会组织专家对重庆研究院承担的“自动推理与认知重庆市重点实验室”建设项目进行了验收。验收专家组听取了项目建设情况汇报，考察了现场，观看了成果演示，审阅了相关资料，经质询和讨论，一致同意该项目通过验收。
建设期内，实验室共投入经费3000余万元，围绕“自动推理与可信计算”、“多领域统一建模”、“视觉语义认知”三个方向开展研究，在零误差计算理论、多项式因式分解、人脸识别与合成技术等方面取得突破；申请发明专利9项，发表论文52篇，其中EI收录35篇，SCI收录11篇；承担省部级以上项目22项，其中国家级项目4项，总经费超过1500万元。人才队伍建设成效显著，已建成一支40多人的高水平人才队伍，形成了完善的实验室管理规章制度。与加拿大西安大略大学等著名院校签署科研合作协议，组织举办全国性学术会议1次，深入开展学术交流与合作，产生了广泛的国际国内学术影响。
市科委副主任徐青出席了验收会，充分肯定了实验室建设工作及取得的成绩，对实验室的建成给予了高度评价，她希望实验室在张景中院士的带领下，继续站在世界科学技术研究的最前沿，开展更为广泛的国际国内学术交流，成为我市计算机数学领域基础研究和人才培养的重要基地。
验收现场
专家组考察实验室
专家组合影