1954年，进入北京大学数学力学系学习。
1957年，从北京大学肄业，在北京清河农场等地劳动。
1959年，从北京大学数学力学系毕业。
1979年，担任中国科学技术大学数学系讲师。
1981年，晋升为副教授。
1985年，调到中国科学院成都分院工作。
1986年，担任中国科学院研究员、中国科学院成都分院数理科学研究室主任、中国科学院成都计算机应用研究所副所长。
1993年12月，被批准为博士导师。
1995年10月，当选为中国科学院院士。
1995年，调入广州师范学院（现广州大学）工作。
1996年，创办广州师范学院计算机教育软件研究所。
2002年，在广州大学支持下，创立广州景中教育软件有限公司并担任董事长。
2009年，进入电子科技大学工作，担任电子科技大学计算机推理与可信计算实验室主任。
1995年10月，当选为中国科学院院士。
1997年，荣获全国“五一”劳动奖章、“全国优秀教师”称号。
2022年09月，入选广州科普研究智库。
2022年，荣获“2021年中国计算机学会终身成就奖”。
1982年，项目《安全节能低噪声木工电磁振动切削工艺》荣获“国家发明二等奖”。
1995年，书籍《教育数学丛书》荣获第九届“中国图书奖”。
1995年，书籍《教育数学丛书》荣获第一届“全国数学教育图书一等奖”。
1997年，项目《几何定理机器证明理论与算法新进展》荣获“国家自然科学奖二等奖”。
2004年05月，《Z+Z智能教育平台——平面几何》荣获“广东省科学技术奖三等奖”。
2005年，书籍《数学家的眼光》荣获“国家科技进步二等奖”。
