中科院成都計算機應用研究所培養點座落在美麗富饒的成都平原上,成立于1958年,是我國西部地區最早建立計算機與信息技術類博士培養點的單位是長期從事計算機信息化、應用集成化、智能化的技術開發型研究所,承擔國家和地方的計算機軟件及計算機應用研究項目,面向市場,提供高科技創新成果、計算機應用及軟件的完整解決方案,開發相關產品,同時從事相關的應用基礎研究工作。
我們堅持“少而精”的高端人才培養方針。迄今為止,培養點在計算機軟件與理論等學科領域已經取得了一批國際領先水平的科研成果。例如,在幾何定理機器可讀證明、不等式型定理機器證明領域取得了國際公認的突破性進展,國際同行評價為“近20年來的重大進展”、“領先國際10年的成果”,圖靈獎的獲得者Dijistra稱之為“自動推理的里程碑式貢獻”。培養點的相關科研工作先后得到國家863計劃、國家973計劃、國家自然科學基金、國家工信部電子發展基金、中央辦公廳和國務院辦公廳的重大科技專項、中國科學院知識創新工程專項、四川省科技支撐計劃和重點發展計劃、中國人民銀行科技專項基金等一系列有力支持;相關科研成果先后獲得了國家自然科學二等獎、國家發明二等獎、國家科技進步二等獎、以及四川省科技進步一等獎、以及省部級的其它科技進步獎、成都市國家發明專利特等獎等多項榮譽。
經國務院學位委員會批準,我培養點有計算機軟件與理論專業博士學位授予權,計算機軟件與理論、計算機應用技術、軟件工程、計算機技術等碩士學位授予權及計算機科學與技術博士后科研流動站。
目前擁有院士1人,博士生導師16人,碩士生導師21人,主要特色研究方向有計算機自動推理與可信計算、符號與數值混合計算及誤差可控計算、編碼理論與信息安全、分布式存儲與高可靠系統、大數據及其智能處理技術、形式化驗證理論與軟件過程技術、機器視覺與自動識別、工業自動檢測與機器學習技術系統等。
我們的培養理念是技術方法與人文精神的統一,繼承傳統與引導創新的統一,前人理論與獨立實踐的統一,全球意識與團隊特色的統一,學術研究與國家需求的統一,個人志向與社會責任的統一。