Research Center Orientation

Aiming at the frontier of automatic reasoning and cognitive science, closely combining the major national strategic needs and the local economic development of Chongqing, we will carry out innovative and independent research on the basic and forward-looking scientific problems of automatic reasoning and trusted computing, so as to promote the integration of automatic reasoning and information security, develop key technologies and software platforms to meet the needs of industry, especially in Chongqing, and cultivate high-level professionals for the state and local governments.

Research Direction

The research of the center focuses on two major directions: 1) automatic reasoning and trusted computing, and 2) information security. Among them, the research contents of the first direction include symbolic computing, automatic reasoning, and the theory and methods of error-controllable calculation, and the research contents of the second direction include the verification and development of trusted software, cryptographic schemes and applications against quantum computer attacks, and homomorphic encryption

Team

Senior Researcher: Yong Feng, Wenyuan Wu, Changbo Chen, Mingquan Shi

Associate Researcher: Yi Li, Jingwei Chen 

Others: Wenqiang Yang, Juan Xu, Peng Zhang

Representative Research Achievement

[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

Contact Us

Contact: Wu Wenyuan

E-mail: zidongtuili@cigit.ac.cn