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