张景中-计算机科学家介绍
张景中
张景中，毕业于北京大学数学力学系，计算机科学家、数学家，中国科学院院士。长期以来主要从事机器证明、教育数学、距离几何及动力系统研究，现任广州大学计算机教育软件研究所所长、教授，曾获“国家自然科学奖二等奖”、全国“五一”劳动奖章等荣誉。
人物名片
中文名：张景中
性别：男
国籍：中国
出生地：河南省汝南县
出生日期：1936年12月30日
毕业院校：中国科学院院士
代表作品：《教育数学丛书》、《数学家的眼光》
主要成就：“国家自然科学奖二等奖”、全国“五一”劳动奖章
人物履历
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年，书籍《数学家的眼光》荣获“国家科技进步二等奖”。
- 上一篇：祝世宁-南京大学教授介绍
- 下一篇：汪卫华-中国科学院院士介绍