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