• <tr id='Gdc6RH'><strong id='Gdc6RH'></strong><small id='Gdc6RH'></small><button id='Gdc6RH'></button><li id='Gdc6RH'><noscript id='Gdc6RH'><big id='Gdc6RH'></big><dt id='Gdc6RH'></dt></noscript></li></tr><ol id='Gdc6RH'><option id='Gdc6RH'><table id='Gdc6RH'><blockquote id='Gdc6RH'><tbody id='Gdc6RH'></tbody></blockquote></table></option></ol><u id='Gdc6RH'></u><kbd id='Gdc6RH'><kbd id='Gdc6RH'></kbd></kbd>

    <code id='Gdc6RH'><strong id='Gdc6RH'></strong></code>

    <fieldset id='Gdc6RH'></fieldset>
          <span id='Gdc6RH'></span>

              <ins id='Gdc6RH'></ins>
              <acronym id='Gdc6RH'><em id='Gdc6RH'></em><td id='Gdc6RH'><div id='Gdc6RH'></div></td></acronym><address id='Gdc6RH'><big id='Gdc6RH'><big id='Gdc6RH'></big><legend id='Gdc6RH'></legend></big></address>

              <i id='Gdc6RH'><div id='Gdc6RH'><ins id='Gdc6RH'></ins></div></i>
              <i id='Gdc6RH'></i>
            1. <dl id='Gdc6RH'></dl>
              1. <blockquote id='Gdc6RH'><q id='Gdc6RH'><noscript id='Gdc6RH'></noscript><dt id='Gdc6RH'></dt></q></blockquote><noframes id='Gdc6RH'><i id='Gdc6RH'></i>
                中文
                创新中心
                专家团队

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

                张景中/ 院士

                中国科学院院士
                计算机软件与理论博士生导师
                中国科普作家协会理事长
                中国科学院成都计算机应用⊙研究所名誉所长

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


                杨路/ 著名数学家

                中国科学院大学教授【
                计算机软件与理论博士生导师
                主要研究:计算机自动推理及机器证明、符号计算、智能软件技术ω 。

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


                张景中 杨路
                技术专家