张景中院士，我国著名的计算机科学家、数学家，中国科学院院士，广州大学计算机教育软件研究所所长、教授、计算机学科和数学学科博士生导师。

日前，中森云链特聘专家顾问-张景中院士，被CCF奖励委员会授予2021年“CCF终身成就奖”（另外一名终身成就奖获得者为国防科技大学胡守仁教授），以表彰他为中国计算机事业的发展做出的卓越贡献。

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

张景中院士获奖理由：

张景中教授提出了定理机器证明的数值并行方法，解决了初等图形在欧氏空间嵌入等问题，创建了几何定理可读证明自动生成的原理和方法，推动了机器定理证明智能化技术的发展。长期致力于科普工作并做出了突出贡献。