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