<form id="9pztn"></form>

<em id="9pztn"></em>

<i id="9pztn"><big id="9pztn"><th id="9pztn"></th></big></i>

<p id="9pztn"></p>
      <noframes id="9pztn">
      中文
      創新中心
      專家團隊

      公司擁有張景中院士和楊路首席科學家領銜的包括基礎理論、關鍵技術、工程與產品全過程的創新體系,團隊近500人,其中高級職稱人員近87人,還包括四川省學術帶頭人5人,國務院政府津貼專家7人。在數字會議、工業測控、機器視覺、智能分析、大數據處理、信息安全與物聯網方面研究深入,帶領的技術團隊支撐了公司核心技術和業務。 公司長期“產學研”發展思路,與包括香港大學、電子科技大學、四川大學、西南交通大學等高校的知名教授開展深入合作,保證了公司持續創新。

      張景中/ 院士

      中國科學院院士
      計算機軟件與理論博士生導師
      中國科普作家協會理事長
      中國科學院成都計算機應用研究所名譽所長

      張景中,中國科學院院士,1959年畢業于北京大學數學力學系。從事計算機科學、數學和數學教育研究?!队嬎銠C應用》期刊主編。在機器證明、教育數學、距離幾何及動力系統等領域有貢獻。其成果1982年獲國家發明獎二等獎,1995年獲中科院自然科學獎一等獎和中國圖書獎,1997年獲國家自然科學獎二等獎,2003年獲全國科普創作獎一等獎、五個一工程獎和國家圖書獎,2005年和2009年兩次獲國家科技進步獎二等獎。他提出了三角、幾何、代數相互滲透的初等數學教學體系;提出了非ε語言的極限概念表述和實數理論的連續歸納法;發現了不用極限或無窮小建立微積分的基本理論和方法。


      楊路/ 著名數學家

      中國科學院大學教授
      計算機軟件與理論博士生導師
      主要研究:計算機自動推理及機器證明、符號計算、智能軟件技術。

      楊路,研究員,博士生導師,國家兩屆攀登項目“機器證明及其應用”和“數學機械化的理論與研究”和國家兩屆973項目“數學機械化與自動推理平臺”和“數學機械化及其在信息技術中的應用”專家委員會委員,國家攀登項目“數學機械化的理論與研究”的首席科學家。國家兩屆攀登計劃、國家兩項863計劃、國家兩屆973計劃、國家自然科學基金以及中國科學院知識創新項目等重大課題的負責人。主研項目《幾何定理機器證明理論與算法的新進展》獲中國科學院自然科學一等獎。該成果是計算機自動推理這個計算機科學-數學交叉領域的多年難遇的重大成果,是國內外計算機科學界公認的卓越成就,在計算機科學、數學、教育科學等各領域產生著深遠影響并獲重要應用。1997年獲國家自然科學二等獎,2001年獲全國專利博覽會金獎,2003年獲全國“五一”勞動獎章。


      張景中 楊路
      技術專家
      久久精品免视看国产成人