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

“CCF终身成就奖”设立于2010年，授予在计算机科学、技术和工程领域取得重大突破，成就卓著、贡献巨大的资深中国计算机科技工作者。

张景中是中科院成都信息技术股份有限公司（原中国科学院成都计算机应用研究所）人工智能专家团队的领衔科学家，主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。他提出了面积解题方法，并用之于机器证明的研究，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破；创立了计算机生成几何定理可读证明的原理和算法，这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。

张景中创立了定理机器证明的数值并行方法的原理和算法。对几何定理机器证明的吴方法进行了改进和发展，创立了含参结式法，升列组的WR分解算法，彻底解决了可约升列相对分解问题。创立了教育数学的思想和方法。先后获得国家发明二等奖、中科院自然科学奖一等奖、国家自然科学奖二等奖、国家科技进步二等奖等诸多奖项。

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