返回首页

张景中

阅读量:2 fancc 收藏本文

终身成就奖-张景中

张景中

广州大学教授

中国科学院院士


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

为此,CCF奖励委员会授予张景中教授2021年“CCF终身成就奖”,以表彰他对中国计算机事业的发展做出的卓越贡献。

<<< 上一篇   胡守仁
<<< 下一篇 无
读完这篇文章后,您心情如何?