中国科学院院士
计算机学科和数学学科博士生指导教师
中国科普作家协会理事长
中国科学院成都计算机应用研究所名誉所长
张景中,中国科学院院士,1959年毕业于北京大学数学力学系。从事计算机科学、数学和数学教育研究。《计算机应用》期刊主编。在机器证明、教育数学、距离几何及动力系统等领域有贡献。其成果1982年获国家发明奖二等奖,1995年获中科院自然科学奖一等奖和中国图书奖,1997年获国家自然科学奖二等奖,2003年获全国科普创作奖一等奖、五个一工程奖和国家图书奖,2005年和2009年两次获国家科技进步奖二等奖。他提出了三角、几何、代数相互渗透的初等数学教学体系;提出了非ε语言的极限概念表述和实数理论的连续归纳法;发现了不用极限或无穷小建立微积分的基本理论和方法。
中国科学院大学教授
计算机软件与理论博士生导师
主要研究:计算机自动推理及机器证明、符号计算、智能软件技术。
杨路,研究员,博士生导师,国家两届攀登项目“机器证明及其应用”和“数学机械化的理论与研究”和国家两届973项目“数学机械化与自动推理平台”和“数学机械化及其在信息技术中的应用”专家委员会委员,国家攀登项目“数学机械化的理论与研究”的首席科学家。国家两届攀登计划、国家两项863计划、国家两届973计划、国家自然科学基金以及中国科学院知识创新项目等重大课题的负责人。主研项目《几何定理机器证明理论与算法的新进展》获中国科学院自然科学一等奖。该成果是计算机自动推理这个计算机科学-数学交叉领域的多年难遇的重大成果,是国内外计算机科学界公认的卓越成就,在计算机科学、数学、教育科学等各领域产生着深远影响并获重要应用。1997年获国家自然科学二等奖,2001年获全国专利博览会金奖,2003年获全国“五一”劳动奖章。