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