| 1994 | Award Winner, (Prominent Scientist Prize, Hong Kong Qiushi Foundation) | |
| 1993—1998 | Member, 8th CPPCC, Standing Committee of the CPPCC | |
| 1993 | Award Winner, (Chen Jiageng Mathematics and Physics Science Prize) | |
| 1992—1996 | Director, Chinese Academy of Sciences, Division of Mathematics and Physics | |
| 1991— | Academician, Third World Academy of Sciences | |
| 1990—1999 | Director, Chinese Academy of Sciences, Research Institute of System Sciences, Mathematics Mechanization Research Center | |
| 1990 | Established, Chinese Academy of Sciences, Research Institute of System Sciences, Mathematics Mechanization Research Center | |
| 1988—1993 | Member, 7th CPPCC, Standing Committee of the CPPCC | |
| 1984—1987 | Director-General, China Mathematics Association | |
| 1984— | Honorary Director, Chinese Academy of Sciences, Research Institute of System Sciences |