买球赛十大平台-手机上买球app十佳排行榜2024

中科信息首席科学家张景中院士荣获2021年“CCF终身成就奖”

　　1月25日，中国计算机学会发布2021年“CCF终身成就奖”评选结果，中国科学院院士、中科院成都信息技术股份有限公司首席科学家张景中被授予该奖项，以表彰他为中国计算机事业发展做出的卓越贡献。

　　“CCF终身成就奖”于2010年设立，授予在计算机科学、技术和工程领域取得重大突破，成就卓著、贡献巨大的资深中国计算机科技工作者。张景中是成都信息人工智能专家团队的领衔科学家，主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。他在数学及计算机领域的主要贡献是：提出了面积解题方法，并用之于机器证明的研究，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破；创立了计算机生成几何定理可读证明的原理和算法，这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”；创立了定理机器证明的数值并行方法的原理和算法；对几何定理机器证明的吴方法进行了改进和发展，创立了含参结式法，升列组的WR分解算法，彻底解决了可约升列相对分解问题；创立了教育数学的思想和方法。

　　张景中先后获得“国家发明二等奖”“中科院自然科学奖一等奖”“国家自然科学奖二等奖”“国家科技进步二等奖”等诸多奖项。他还热心投身科普教育事业，撰写了大量的科普文章和通俗读物，被中国科普协会审定为建国以来贡献突出的科普作家之一，被中国少年儿童出版社评为十大金作家之一。其科普作品多次获得国家级奖项，为国家科技教育事业做出了杰出贡献。

　　“集成创新，服务国家”是中科信息的使命，以张景中院士为代表的老一辈科学家以实际行动努力践行，为年轻科研工作者们树立了榜样。中科信息将传承“求真务实，敬业奉献”的精神，努力发挥技术优势，为国家数字经济建设与科学传播事业作出更大贡献。