1月25日，中國計算機學會發(fā)布2021年“CCF終身成就獎”評選結果，中國科學院院士、中科院成都信息技術股份有限公司首席科學家張景中被授予該獎項，以表彰他為中國計算機事業(yè)發(fā)展做出的卓越貢獻。
“CCF終身成就獎”于2010年設立，授予在計算機科學、技術和工程領域取得重大突破，成就卓著、貢獻巨大的資深中國計算機科技工作者。張景中是成都信息人工智能專家團隊的領銜科學家，主要從事機器證明、教育數學、距離幾何及動力系統等領域的研究。他在數學及計算機領域的主要貢獻是：提出了面積解題方法，并用之于機器證明的研究，使幾何定理可讀證明的自動生成這個多年來進展甚小的難題得到突破；創(chuàng)立了計算機生成幾何定理可讀證明的原理和算法，這項成果被權威學者認為是使計算機能像處理算術一樣處理幾何工作的“里程碑”；創(chuàng)立了定理機器證明的數值并行方法的原理和算法；對幾何定理機器證明的吳方法進行了改進和發(fā)展，創(chuàng)立了含參結式法，升列組的WR分解算法，徹底解決了可約升列相對分解問題；創(chuàng)立了教育數學的思想和方法。
張景中先后獲得“國家發(fā)明二等獎”“中科院自然科學獎一等獎”“國家自然科學獎二等獎”“國家科技進步二等獎”等諸多獎項。他還熱心投身科普教育事業(yè)，撰寫了大量的科普文章和通俗讀物，被中國科普協會審定為建國以來貢獻突出的科普作家之一，被中國少年兒童出版社評為十大金作家之一。其科普作品多次獲得國家級獎項，為國家科技教育事業(yè)做出了杰出貢獻。
“集成創(chuàng)新，服務國家”是中科信息的使命，以張景中院士為代表的老一輩科學家以實際行動努力踐行，為年輕科研工作者們樹立了榜樣。中科信息將傳承“求真務實，敬業(yè)奉獻”的精神，努力發(fā)揮技術優(yōu)勢，為國家數字經濟建設與科學傳播事業(yè)作出更大貢獻。
