Wenyuan Wu, professor, director of Automatic Reasoning and Cognition Center of CIGIT. His research interests include automatic reasoning, cryptography, privacy computing, etc. He has published more than 50 papers in journal or conferences including Found. Comput. Math., Theor. Comput. Sci., etc., and was selected into the Light of the West program of CAS and Innovation Leaders Program of Chongqing Talents. He serves in the Computer Mathematics Committee of the Chinese Mathematical Society and in the editorial board of journal JSSC. He also serves as a reviewer for the Mathematical Reviews of the American Mathematical Society. 

Lattice theory, algorithm, and applications

Innovation Leaders Program of Chongqing Talents

1. Changbo Chen and Wenyuan 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. Yanan Bai, 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, 15, 12, (2021), 4345-4363.

3. X. Qian and W. Wu. An Efficient Ciphertext Policy Attribute-Based Encryption Scheme from Lattices and Its Implementation. ICCCS 2021, pp. 732-742.

4. Chen, C., Wu, W*., Feng, Y. (2020). Numerical roadmap of smooth bounded real algebraic surface. Computer Aided Geometric Design, 101858.

5. Yong FENG, Jingwei CHEN, Wenyuan WU. The PSLQ algorithm for empirical data. Mathematics of Computation, 88(317):1479-1501, 2019.

6. Changbo Chen, Wenyuan Wu*. A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities, CASC 2018.

7. Wenyuan Wu, Zhonggang Zeng. The Numerical Factorization of Polynomials, Foundations of Computational, 2017 17(1): 259-286.

Wenyuan Wu, Greg Reid, Yong Feng. Computing Real Witness Points of Positive Dimensional Polynomial Systems, Theoretical Computer Science, 2017.06.12, 681：217~231.