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年,书籍《数学家的眼光》荣获“国家科技进步二等奖”。