研究员：冯勇、吴文渊、陈长波、石明全  

副研究员：李轶、陈经纬  

中级研究人员：杨文强、徐娟、张鹏 

冯勇，2003年6月在中国科学院研究生院获得工学博士学位。为中国科学院三期知识创新工程重要方向项目“自动推理及其在高新技术领域中的应用”的首席科学家，国家973项目“基于混合计算的误差可控算法”、国家自然科学基金重大研究计划 “基于符号-数值计算的误差可控算法及应用”、国家重点研发计划“变革性技术关键科学问题”重点专项“隐私保护数据处理的数学方法”等子课题负责人，主持3项自然科学基金面上项目，入选第三批重庆市学术技术带头人。现从事计算机推理与定理机器证明的研究工作，曾在油藏数值模拟、盆地数值模拟和自适应光学仿真系统的研究中取得重要成果，与张景中院士共同开创了自动推理中的零误差计算学科方向，在国内外本领域著名杂志和会议上发表学术论文60多篇。 

吴文渊，研究员，博导，自动推理与认知中心主任。1999年于北京大学数学学院获得学士学位，2002年于中国科学院研究生院获得计算机硕士学位，2007年8月在加拿大西安大略大学应用数学系获博士学位，而后在西安大略大学和美国密西根大学做博士后。2010年回国到电子科技大学，2011年10月加入中国科学院重庆绿色智能技术研究院。 主要从事自动推理、密码学、隐私计算等领域研究，已经主持完成国家自然科学基金两项，中国科学院西部之光联合学者项目一项，中国科学院前沿重点项目一项，重庆市院士专项五项。 曾担任了全国计算机数学第6届会议组织委员会主席，成功在重庆举办全国计算机数学大会。同时担任过国际SNC‘14会议程序委员会委员等学术职务。共发表论文50余篇，包括SCI一区刊物Foundations of Computational Mathematics，计算机科学理论著名国际刊物Theoretical Computer Science，国内的顶级学术刊物中国科学、系统科学与复杂性学报、软件学报等。目前担任中国数学会计算机数学专业委员会第二届、第三届委员，美国Math Review专业评论员、SCI期刊JSSC编委。组织团队承担在研国家重大研究计划项目“隐私保护数据处理的数学方法”的子课题。入选2022年度重庆英才-创新领军人才。 

陈长波，2011年8月在加拿大西安大略大学计算机系获博士学位。2011年9月-2013年8月在西安大略大学从事博士后研究，2013年9月加入中国科学院重庆绿色智能技术研究院电子信息研究所自动推理与认知研究中心，先后获得中国科学院西部青年学者和重庆英才青年拔尖人才称号。主要学术贡献包括提出了一系列高效的多项式系统求解算法并应用于生物化学网络平衡点分析、量子关联判定、循环程序的自动并行和优化等。开发的多项式和半代数系统求解器被集成进著名数学软件Maple的多个官方发行版中。迄今在SIAM-ADS、JSC、 PRA等杂志和ISSAC、CASC等会议上发表学术论文50余篇。多次担任奥地利、加拿大和德国等自然科学基金会的评审专家及国际会议ISSAC、CASC、ICMS等的程序委员会委员，担任中国数学会计算机数学大会CM2024程序委员会共同主席。曾受邀在中国数学会年会、中国工业与应用数学学会年会、中国数学会计算机数学大会、德国Dagstuhl 研讨会、国际工业与应用数学大会作邀请报告。 

依托本中心，已建成生物计算安全重庆市重点实验室

https://scb.cqucas.ac.cn/