Liu's achievements and honors
He has been engaged in the research of symbolic computation and mathematical software and algorithms for many years, and has published more than 50 papers in professional academic journals and conferences. Participated in organizing and hosting international conferences on symbolic computation and computer mathematics for many times, and often visited and lectured abroad. At present, he is a member of the expert group of "Mathematical Mechanization and Automatic Reasoning Platform", a major national basic research project. Liu is also the Chinese host of the Sino-US symbolic computing cooperation project funded by the National Natural Science Foundation, and a member of the expert committees of the national climbing projects "Machine Proof and Its Application" and "Mathematical Mechanization and Its Application".