近日，中国计算机学会（CCF）发布2021年“CCF终身成就奖”评选结果公告，成都市科协第七届委员会主席、中国科学院院士张景中教授入选。
“CCF终身成就奖”始设于2010年，授予70岁以上的在计算机科学、技术和工程领域取得重大突破，有卓著成就与巨大贡献的资深中国计算机科技工作者，由CCF理事长会议推荐候选人，每年评选一次，每次不超过2人。
张景中院士主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。他在数学及计算机领域的主要贡献是：提出了面积解题方法，并用于机器证明的研究，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破，创立了计算机生成几何定理可读证明的原理和算法，这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。
张景中院士还创立了含参结式法，升列组的WR分解算法，彻底解决了可约升列相对分解问题，创立了教育数学的思想和方法。先后获得“国家发明二等奖”、“中科院自然科学奖一等奖”、“国家自然科学奖二等奖”、“国家科技进步二等奖”等诸多重量级奖项。
此外，他还热心科普教育事业，撰写了大量的科普文章和通俗读物，被中国科普协会审定为建国以来贡献突出的科普作家之一，被中国少年儿童出版社评为十大金作家之一。其科普作品多次获得国家级奖项，为国家科技教育事业做出了杰出贡献。
成都日报·锦观新闻 记者 宋妍妍 供图 成都市科协 编辑 李旻 校对 王玲
【来源：锦观新闻】
