一、中心定位

    　瞄准自动推理和认知科学的发展前沿，密切结合国家重大战略需求和重庆本地经济发展，针对自动推理和可信计算的基础性和前瞻性科学问题，开展创新型研究和自主性关键技术研发，以促进和推动自动推理与信息安全的融合交叉与发展；研发具有自主知识产权的关键技术和软件平台，以满足国家、行业部门，尤其重庆地区的需求；为国家和地方培养高水平的专业人才。

    　二、研究方向

    　中心研究主要围绕两大方向：1.自动推理与可信计算；2.信息安全。其中自动推理与可信计算研究方向的研究内容包括：符号计算、自动推理、误差可控计算的理论与方法；信息安全的研究内容包括：可信软件的验证与开发、抗量子计算机攻击的密码方案与应用、同态加密

图 1 同态加密

    　三、团队人才  

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

    　副研究员：李轶、陈经纬 

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

    　四、代表性成果  

    　[1]  C. Chen and W. Wu. A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure. SIAM Journal on Applied Dynamical Systems 2022 21:2, 1573-1596. 

    　[2]  Jingwei Chen, Yong Feng, Yang Liu, Wenyuan Wu and Guanci Yang. Non-interactive privacy-preserving naive Bayes classifier using homomorphic encryption. In: Proc. SPNCE '21, pages 192-203. Springer, Cham, 2022 

    　[3] Bai, Yanan, Yong Feng, and Wenyuan Wu. Privacy-preserving and Communication-efficient Convolutional Neural Network Prediction Framework in Mobile Cloud Computing. KSII Transactions on Internet and Information Systems (TIIS) 15, no. 12 (2021): 4345-4363. 

    　[4] Yi Li, Wenyuan Wu, Yong Feng. On ranking functions for single-path linear-constraint loops. International Journal on Software Tools for Technology Transfer (2020) 22:655– 666.  

    　[5] Y. Feng, J. Chen, and W. Wu. The PSLQ algorithm for empirical data. Mathematics of Computation, 317(88):1479-1501, 2019. 

    　[6] C. Ren and C. Chen. Steerability detection of an arbitrary two-qubit state via machine learning. Physical Review A, 100(2):022314, 2019. 

    　[7] Changbo Chen, Changliang Ren, Xiang-Jun Ye, and Jing-Ling Chen. Mapping criteria between nonlocality and steerability in qudit-qubit systems and between steerability and entanglement in qubit-qudit systems. Phys. Rev. A, 98:052114, Nov 2018. 

    　[8]  Wenyuan Wu, Greg Reid, and Yong Feng. Computing real witness points of positive dimensional polynomial systems. Theoretical Computer Science, 681:217-231, 2017. 

    　[9] Wenyuan Wu and Zhonggang Zeng. The numerical factorization of polynomials. Foundations of Computational Mathematics, 17(1):259-286, 2017. 

    　[10]  C. Chen and M. Moreno Maza. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. Journal of Symbolic Computation, 75:74-93, 2016 

    　五、联系方式

    　联系人：吴文渊  

    　邮箱：zidongtuili@cigit.ac.cn