中國科學院院士
計算機軟件與理論博士生導師
中國科普作家協(xié)會理事長
中國科學院成都計算機應用研究所名譽所長
張景中，中國科學院院士，1959年畢業(yè)于北京大學數(shù)學力學系。從事計算機科學、數(shù)學和數(shù)學教育研究?！队嬎銠C應用》期刊主編。在機器證明、教育數(shù)學、距離幾何及動力系統(tǒng)等領(lǐng)域有貢獻。其成果1982年獲國家發(fā)明獎二等獎，1995年獲中科院自然科學獎一等獎和中國圖書獎，1997年獲國家自然科學獎二等獎，2003年獲全國科普創(chuàng)作獎一等獎、五個一工程獎和國家圖書獎，2005年和2009年兩次獲國家科技進步獎二等獎。他提出了三角、幾何、代數(shù)相互滲透的初等數(shù)學教學體系；提出了非ε語言的極限概念表述和實數(shù)理論的連續(xù)歸納法；發(fā)現(xiàn)了不用極限或無窮小建立微積分的基本理論和方法。
中國科學院大學教授
計算機軟件與理論博士生導師
主要研究：計算機自動推理及機器證明、符號計算、智能軟件技術(shù)。
楊路，研究員，博士生導師，國家兩屆攀登項目“機器證明及其應用”和“數(shù)學機械化的理論與研究”和國家兩屆973項目“數(shù)學機械化與自動推理平臺”和“數(shù)學機械化及其在信息技術(shù)中的應用”專家委員會委員，國家攀登項目“數(shù)學機械化的理論與研究”的首席科學家。國家兩屆攀登計劃、國家兩項863計劃、國家兩屆973計劃、國家自然科學基金以及中國科學院知識創(chuàng)新項目等重大課題的負責人。主研項目《幾何定理機器證明理論與算法的新進展》獲中國科學院自然科學一等獎。該成果是計算機自動推理這個計算機科學－數(shù)學交叉領(lǐng)域的多年難遇的重大成果，是國內(nèi)外計算機科學界公認的卓越成就，在計算機科學、數(shù)學、教育科學等各領(lǐng)域產(chǎn)生著深遠影響并獲重要應用。1997年獲國家自然科學二等獎，2001年獲全國專利博覽會金獎，2003年獲全國“五一”勞動獎章。
