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ī)應(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ī)教育軟件研究所。
2002年,在廣州大學(xué)支持下,創(chuàng)立廣州景中教育軟件有限公司并擔(dān)任董事長。
2009年,進(jìn)入電子科技大學(xué)工作,擔(dān)任電子科技大學(xué)計算機(jī)推理與可信計算實(shí)驗(yàn)室主任。
1995年10月,當(dāng)選為中國科學(xué)院院士。
1997年,榮獲全國“五一”勞動獎?wù)?、“全國?yōu)秀教師”稱號。
2022年09月,入選廣州科普研究智庫。
2022年,榮獲“2021年中國計算機(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)步二等獎”。