1979 — 1985 Profesor asociado, Departamento de Matemáticas, Universidad de Ciencia y Tecnología de China. 1986 — 1991, Instituto de Ciencias Matemáticas de Chengdu, Academia de Ciencias de China, investigador y subdirector. 1992 — Investigador, Instituto de Aplicaciones Informáticas de Chengdu, Academia de Ciencias de China. 1992 — 1996 Director, Centro de Investigación en Matemáticas y Ciencias de la Computación, Instituto de Ciencias de la Computación de Chengdu, Academia de Ciencias de China. 1992 - 1996 Miembro del comité de expertos del Proyecto Nacional de Escalada 85 "Prueba y Aplicación de Máquinas". En 1993, se desempeñó como líder del equipo y entrenador en jefe del equipo nacional chino en la OMI. 1995 — Profesor y Director de Departamento (al mismo tiempo) en el Departamento de Ciencias de la Información, Facultad de Ciencias Matemáticas, Universidad de Pekín. 1995 — Director del Centro de Matemáticas e Inteligencia Artificial de Guangzhou, Instituto de Software de la Universidad de Guangzhou, profesor (a tiempo parcial). 1997-1998 Científico Jefe del Proyecto Nacional de Escalada 95 “Investigación y Aplicación de la Mecanización Matemática”. 1988-1989 Profesor visitante en cuatro universidades, incluida la Universidad Nacional de Australia. 1990 - 1991 Profesor invitado en el Centro de Física Teórica, Italia, Universidad de Bielefeld, Alemania, etc. 1993 - 1994 Profesor visitante en la Universidad Estatal de Nueva York y la Universidad Estatal de Wichita, EE.UU. Visitó el Instituto Internacional de Software de la Universidad de las Naciones Unidas en noviembre de 1995. Visitó la Universidad Nacional de Singapur en diciembre de 1995. En julio de 1996 visitó el Instituto Austriaco de Computación Simbólica. En septiembre de 1997 visitó varias instituciones, entre ellas la Academia Sínica de Taipei y la Universidad Tsinghua de Taipei. 1998. Marzo-julio, Centro Nacional Francés de Investigaciones Científicas, investigador visitante. 1. Graduado en el Departamento de Matemáticas de la Universidad de Pekín en 1959. 2. Investigador, director de doctorado en teoría y software informático y director de doctorado en matemáticas. 3. Científico jefe del proyecto de innovación del conocimiento “Prueba de desigualdad y descubrimiento de máquinas” de la Academia de Ciencias de China. 4. Miembro del comité de expertos del Proyecto Nacional 973 “Plataforma de Mecanización Matemática y Razonamiento Automático” (G1998040600). 5. Anfitrión del Proyecto Nacional 973 “Geometría Algebraica Real Constructiva y Razonamiento Automático de Desigualdades” (G1998030602).
1. Ganó el primer premio del Premio de Ciencias Naturales de la Academia de Ciencias de China en 1995. 2. Obtuvo el segundo premio del Premio Nacional de Ciencias Naturales en 1997. 3. Ganó la medalla de oro en la 8ª Exposición de Patentes de China en 2001. 4. Ganó la Medalla Nacional del Trabajo “1 de Mayo” en 2003.