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