中(zhōng)文(wén)
中(zhōng)國(guó)科(kē)學(xué)院院士
计算机软件与理(lǐ)论博士生导师
中(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ó)“五一”劳动奖章。
