1954年，進(jìn)入北京大學(xué)數(shù)學(xué)力學(xué)系學(xué)習(xí)。
1957年，從北京大學(xué)肄業(yè)，在北京清河農(nóng)場等地勞動。
1959年，從北京大學(xué)數(shù)學(xué)力學(xué)系畢業(yè)。
1979年，擔(dān)任中國科學(xué)技術(shù)大學(xué)數(shù)學(xué)系講師。
1981年，晉升為副教授。
1985年，調(diào)到中國科學(xué)院成都分院工作。
1986年，擔(dān)任中國科學(xué)院研究員、中國科學(xué)院成都分院數(shù)理科學(xué)研究室主任、中國科學(xué)院成都計(jì)算機(jī)應(yīng)用研究所副所長。
1993年12月，被批準(zhǔn)為博士導(dǎo)師。
1995年10月，當(dāng)選為中國科學(xué)院院士。
1995年，調(diào)入廣州師范學(xué)院（現(xiàn)廣州大學(xué)）工作。
1996年，創(chuàng)辦廣州師范學(xué)院計(jì)算機(jī)教育軟件研究所。
2002年，在廣州大學(xué)支持下，創(chuàng)立廣州景中教育軟件有限公司并擔(dān)任董事長。
2009年，進(jìn)入電子科技大學(xué)工作，擔(dān)任電子科技大學(xué)計(jì)算機(jī)推理與可信計(jì)算實(shí)驗(yàn)室主任。
1995年10月，當(dāng)選為中國科學(xué)院院士。
1997年，榮獲全國“五一”勞動獎?wù)?、“全國?yōu)秀教師”稱號。
2022年09月，入選廣州科普研究智庫。
2022年，榮獲“2021年中國計(jì)算機(jī)學(xué)會終身成就獎”。
1982年，項(xiàng)目《安全節(jié)能低噪聲木工電磁振動切削工藝》榮獲“國家發(fā)明二等獎”。
1995年，書籍《教育數(shù)學(xué)叢書》榮獲第九屆“中國圖書獎”。
1995年，書籍《教育數(shù)學(xué)叢書》榮獲第一屆“全國數(shù)學(xué)教育圖書一等獎”。
1997年，項(xiàng)目《幾何定理機(jī)器證明理論與算法新進(jìn)展》榮獲“國家自然科學(xué)獎二等獎”。
2004年05月，《Z+Z智能教育平臺——平面幾何》榮獲“廣東省科學(xué)技術(shù)獎三等獎”。
2005年，書籍《數(shù)學(xué)家的眼光》榮獲“國家科技進(jìn)步二等獎”。
