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ù)學家的眼光》榮獲“國家科技進步二等獎”。