张景中
广州大学教授
中国科学院院士
张景中教授1936年12月生。他提出了定理机器证明的数值并行方法，解决了初等图形在欧氏空间嵌入等问题，创建了几何定理可读证明自动生成的原理和方法，推动了机器定理证明智能化技术的发展。他长期致力于科普工作并做出了突出贡献。
为此，CCF奖励委员会授予张景中教授2021年“CCF终身成就奖”，以表彰他对中国计算机事业的发展做出的卓越贡献。
匿名评论 所有评论仅代表网友意见
返回首页
所有评论仅代表网友意见