中文
2024新澳门2024原料网走势图
创新中心
专家团队

公司拥有张景中院士和杨路首席科学家领衔的包括基础理论、关键技术、工程与产品全过程的创新体系,团队近500人,其中高级职称人员近87人,还包括四川省学术带头人5人,国务院政府津贴专家7人。在数字会议、工业测控、机器视觉、智能分析、大数据处理、信息安全与物联网方面研究深入,带领的技术团队支撑了公司核心技术和业务。 公司长期“产学研”发展思路,与包括香港大学、电子科技大学、四川大学、西南交通大学等高校的知名教授开展深入合作,保证了公司持续创新。

张景中/ 院士

2024新澳门2024原料网走势图院士
计算机软件与理论博士生导师
中国科普作家协会理事长
2024新澳门2024原料网走势图成都计算机应用研究所名誉所长

张景中,2024新澳门2024原料网走势图院士,1959年毕业于北京大学数学力学系。从事计算机科学、数学和数学教育研究。《计算机应用》期刊主编。在机器证明、教育数学、距离几何及动力系统等领域有贡献。其成果1982年获国家发明奖二等奖,1995年获中科院自然科学奖一等奖和中国图书奖,1997年获国家自然科学奖二等奖,2003年获全国科普创作奖一等奖、五个一工程奖和国家图书奖,2005年和2009年两次获国家科技进步奖二等奖。他提出了三角、几何、代数相互渗透的初等数学教学体系;提出了非ε语言的极限概念表述和实数理论的连续归纳法;发现了不用极限或无穷小建立微积分的基本理论和方法。


杨路/ 著名数学家

2024新澳门2024原料网走势图大学教授
计算机软件与理论博士生导师
主要研究:计算机自动推理及机器证明、符号计算、智能软件技术。

杨路,研究员,博士生导师,国家两届攀登项目“机器证明及其应用”和“数学机械化的理论与研究”和国家两届973项目“数学机械化与自动推理平台”和“数学机械化及其在信息技术中的应用”专家委员会委员,国家攀登项目“数学机械化的理论与研究”的首席科学家。国家两届攀登计划、国家两项863计划、国家两届973计划、国家自然科学基金以及2024新澳门2024原料网走势图知识创新项目等重大课题的负责人。主研项目《几何定理机器证明理论与算法的新进展》获2024新澳门2024原料网走势图自然科学一等奖。该成果是计算机自动推理这个计算机科学-数学交叉领域的多年难遇的重大成果,是国内外计算机科学界公认的卓越成就,在计算机科学、数学、教育科学等各领域产生着深远影响并获重要应用。1997年获国家自然科学二等奖,2001年获全国专利博览会金奖,2003年获全国“五一”劳动奖章。


张景中 杨路
技术专家