张景中简介

1936年12月30日，张景中出生于河南省汝南县。

1954年，进入北京大学数学力学系学习。

1957年，从北京大学肄业，在北京清河农场等地劳动。

1959年，从北京大学数学力学系毕业。

1979年，担任中国科学技术大学数学系讲师。

1981年，晋升为副教授。

1985年，调到中国科学院成都分院工作。

1986年，担任中国科学院研究员，中国科学院成都分院数理科学研究室主任，中国科学院成都计算机应用研究所副所长。

1993年12月，由国务院学位委员会批准为博士导师。

1995年10月，当选为中国科学院院士；同年，调入广州师范学院（现广州大学）。

1996年初，创办了广州师范学院计算机教育软件研究所。

2002年，在广州大学的支持下，创立了广州景中教育软件有限公司并任公司董事长。

2009年，到电子科技大学工作，担任电子科技大学计算机推理与可信计算实验室主任。

2022年9月，广州科普研究智库出炉，张景中首批入库。

张景中科研成就

科研综述

张景中提出和实现了定理机器证明的数值并行方法。把多年来在教育数学研究中所发展的几何新方法用于机器证明，并提出消点思想，创建了几何定理可读证明自动生成的原理和方法，用这个方法可在微机上快速地进行几何证明，计算和发明新定理，并给出易于理解的有几何意义的证明。发展了非线性振动技术。发展了几何算法的研究，解决了初等图形在欧氏空间嵌入等问题。开拓教育数学的研究，提出以面积为中心的几何教材新体系新方法极限概念的非e语言和连续归纳法将自动推理的成果和方法用于ICAI的研究，主持开发了新型智能理科教育软件。

科研成果奖励

张景中在机器证明、教育数学、距离几何及动力系统等多个学科领域做出了突出的贡献，是中国在这些领域中的学术带头人。在广州大学课程与教学论学科建设中做出重要贡献。（广州大学计算机科学与网络工程学院评）

张景中进行教育信息技术方面的研究，主要来源于机器自动推理的应用推广，由此产生了超级画板的推广，进而对教息技术具有实际性的推动作用，是教育技术领域真正的搞学术研究的大师。（广州大学校友会评）

2022年1月，张景中院士接受《瞭望》专访谈教育数学：把数学变容易。