张景中 中国科学院院士，计算机科学与工程学院教授，博导
　　

　　1936年生于河南省汝南县，计算机科学家、数学家和数学教育家、四川省计算机学会理事长，《计算机应用》期刊主编，“全国五一劳动奖章”获得者，中国科学院成都计算机应用研究所名誉所长，广州大学计算机科学与教育软件学院名誉院长，教育部华中师大教育信息技术工程研究中心学术委员会主任。曾任中国科学院成都数理研究室主任、成都计算机应用研究所副所长，中国科普作家协会理事长、广州大学计算机教育软件研究所所长。1959年毕业于北京大学数学力学系，1979年任教于中国科学技术大学，1986年任中国科学院研究员。2008年10月来电子科技大学工作。多年来，张景中院士承担国家攀登项目和国家973项目有关数学机械化的科研项目。
　　

　　张景中院士长期致力于计算机科学和数学的研究，在机器证明、教育数学、距离几何及动力系统等研究领域做出了突出的贡献。他提出了定理机器证明的一系列新算法，包括通过用检验有限个实例证明一般几何定理的“数值并行法”、判定代数系统相关性的“含参结式法”、求解代数方程组的“WR相对分解分解算法”、有关Ritt-Wu特征列的“弱非退化条件”等等。所创建的几何定理可读证明自动生成的理论和算法，被国外同行誉为计算机处理几何问题发展道路上的里程碑，是自动推理领域30年来最重要的进展之一。
　　

　　张景中院士提出了“教育数学”的概念和基本理论，并积极倡导发展这一全新的学科。 在此方向，他提出了三角、几何、代数相互渗透的新的初等数学教学体系；提出了非ε语言的极限概念表述和实数理论的连续归纳法；实现了不用极限或无穷小建立微积分的基本理论和方法。
　　

　　1980年以来，张景中院士发表学术论著150多篇（册），出版专著及科普书17部 。1982年获国家发明二等奖，1995年获中科院自然科学奖一等奖和中国图书奖，1997年获国家自然科学奖二等奖，2003年获全国科普创作一等奖、五个一工程奖和国家图书奖，2005年获国家科技进步二等奖。