张景中

计算机科学家、中国科学院院士

张景中，1936年12月30日出生于河南汝南县，计算机科学家、数学家，中国科学院院士，广州大学计算机教育软件研究所所长、教授、计算机学科和数学学科博士生导师。

人物经历

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

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

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

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

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

1981年，晋升为副教授。

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

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

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

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

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

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

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

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

主要成就

科研成就

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

人才培养

1996年，张景中参与创建了广州师范学院“课程与教学论”硕士点，并任该点硕士生导师和学科带头人。

1997年，“学科教学论（数学）”被广州市教育局评为广州市重点学科。

1998年9月，招收了一届“信息与计算科学”本科试点班。

2000年10月，张景中主持研发的“Z+Z智能教育平台——平面几何、解析几何”通过教育部中小学教材审定委员会审查。

2003年，主持研发的“Z+Z智能教育平台”被编入北京师范大学出版的初中数学教材并向全国发行。

荣誉表彰

社会任职

人物评价

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

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

社交生活