Lihong Zhi

 


Projects

    ·         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,,