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