· Project Director, Theories, Algorithms and Software of Computer Mathematics , National Key R&D Program of Chin, 2023-2028
· Project Director, On Isolation of Singular Zeros of Multivariate Analytic Systems , Chinese National Science Foundation, 2021-2024,
· Project Director, Verification and Analysis of Quantum Programming, National Key R&D Program of China, 2018-2023,
· Principal Investigator, Parallel Computation and Application in Super Computer, National Key R&D Program of China, 2016-2018,
· Project Director, Convex Algebraic Geometry, Chinese National Science Foundation, 2016-2019,
· Project Co-director, Reliable Computation Based on Symbolic and Non-standard Methods, Seven Important Research Directions of Academy of Mathematics and Systems Science, 2011-2020
· Project Director, Certied Computation with Algebraic Systems, Chinese National Science Foundation, 2012- 2015,
· Project Director, Reliable Algorithms Based on Symbolic-Numeric Computation, National Key Basic Research Project, 2011-2015
· Principal Investigator, Mathematics Mechanization and Its Applications, Excellent Group Research Project of Chinese National Science Foundation, 2009-2014
· Principal Investigator, Methods of Mathematics Mechanization and Applications in Information Technology, National Key Basic Research Project, 2004-2009
· Chinese Coordinator, Exact/Certied Computation with Algebraic Systems, International Project Between NSFC (China) and ANR (France) 2010-2013
· Project Director, Symbolic and Numeric Hybrid Method for Solving Polynomial Systems, Chinese National Science Foundation, 2009-2011,
· Project Director, Symbolic and Numeric Hybrid Computation, Chinese National Science Foundation, 2005-2007,,