张景中院士获2021年“CCF终身成就奖”

2022年1月25日，中国计算机学会发布2021年“CCF终身成就奖”评选结果，四川省计算机学会名誉理事长（原理事长）、中科院成都信息技术股份有限公司首席科学家、中国科学院院士张景中教授被授予该奖项，以表彰他为中国计算机事业发展做出的卓越贡献。

张景中院士主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。他在数学及计算机领域的主要贡献是：提出了面积解题方法，并用于机器证明的研究，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破，创立了计算机生成几何定理可读证明的原理和算法，这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。

张景中院士还创立了含参结式法，升列组的WR分解算法，彻底解决了可约升列相对分解问题，创立了教育数学的思想和方法。先后获得“国家发明二等奖”、“中科院自然科学奖一等奖”、“国家自然科学奖二等奖”、“国家科技进步二等奖”等诸多重量级奖项。

此外，他还热心科普教育事业，撰写了大量的科普文章和通俗读物，被中国科普协会审定为建国以来贡献突出的科普作家之一，被中国少年儿童出版社评为十大金作家之一。其科普作品多次获得国家级奖项，为国家科技教育事业做出了杰出贡献。