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

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

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

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

  文章链接：https://mp.weixin.qq.com/s?__biz=MjM5MTY5ODE4OQ==&mid=2651513312&idx=1&sn=96a636cceb2986d9b06ef81a16a2aa80&chksm=bd4fdd828a385494fd4412b3310db880f3b74f0b224e81b54c889c9ab35999af21a12f306e3a&mpshare=1&scene=23&srcid=01258rH62XqQqXLXMnwFKfcl&sharer_sharetime=1645508840539&sharer_shareid=9104d5cd95dd10137d8b1b7af4fa8822#rd