EN
Technology&Experts
Expert team

The company has an innovation system including the whole process of basic theory, key technology, engineering and products led by academician Zhang Jingzhong and chief scientist Yang Lu. The team has nearly 500 people, including nearly 50 people with senior professional titles, 5 academic leaders in Sichuan Province and 7 experts on government subsidies of the State Council. He has conducted in-depth research in digital conference, industrial measurement and control, machine vision, intelligent analysis, big data processing, information security and Internet of things, and led a technical team to support the company's core technology and business. The company's long-term development idea of "industry university research" has carried out in-depth cooperation with well-known professors from universities such as Hong Kong University, University of Electronic Science and technology, Sichuan University and Southwest Jiaotong University, ensuring the company's continuous innovation.

张景中(zhōng)/ 院士

中(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ǐ)论和方法。


杨路/ 著名(míng)数學(xué)家

中(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ó)“五一”劳动奖章。


张景中(zhōng) 杨路
Technician