貴州大學計算機科學與技術學院

1972年創辦計算機軟體本科專業，1983年開始招收計算機軟體專業研究生。

1986年成立計算機科學系，1992年計算機科學與技術學科成為省級重點學科。

1995年獲計算機軟體與理論碩士授予權，1998年獲計算機應用技術碩士授予權，2000年獲計算機軟體與理論博士授予權，2002年成立信息與計算機學院，2003年獲軟體工程和計算機技術2個工程碩士授予權。

2004年，學院更名為計算機科學與工程學院，獲計算機軟體與理論高校在職師資碩士授予權。

2005年獲計算機科學與技術一級學科碩士授予權。

2008年，院系調整合併，學院更名為計算機科學與信息學院。

2009年獲得計算機科學與技術博士后流動站，2011年計算機科學與技術學科獲得貴州省特色重點學科，2011年計算機軟體與理論二級學科博士點升格為軟體工程一級學科博士點，2012年獲得貴州省軟體工程與信息安全特色重點實驗室。

2013年，學院更名為計算機科學與技術學院，獲得計算機控制技術專業碩士研究生工作站（貴州省首批專業碩士研究生工作站）。

2013年獲得貴州省先進計算與醫療信息服務工程實驗室。

2015年申請獲批貴州省雲計算與大數據專業碩士研究生工作站，獲批貴州省公共大數據重點實驗室（跨學科共建）。

2017年，獲批貴州省智能醫學影像分析與精準診斷重點實驗室，並與珠海歐比特宇航科技股份有限公司合作共建衛星影像大數據工程研究中心。

2017年公布的全國第四輪學科評估結果中，我院軟體工程一級學科等級為“B-”（前40%），計算機科學與技術一級學科等級為“C+”（前50%）。2017年，計算機科學與技術專業獲批貴州省區域一流建設專業。

2018年，教育部部省合建要求貴州大學以軟體工程一級學科博士點引領大數據科學與技術學科群建設國內特色一流學科。2018年9月，計算機科學與技術一級學科獲批貴州省區域一流建設學科。2018年，與貴州小愛科技機器人有限公司合作獲批貴州省智能人機交互工程技術研究中心。

2019年，計算機科學與技術專業成功入選首批國家一流本科專業（雙萬計劃），信息安全專業獲批貴州省區域一流建設專業。申請獲批人工智慧本科專業。2019年12月，貴州省教育廳將我院軟體工程一級學科引領的大數據科學與技術學科群列為世界一流建設學科Ⅰ類學科。

2020年，獲批貴州省大數據管理局的貴州省智慧醫療大數據創新中心。

學科簡介

貴州大學“計算機科學與技術”（一級學科）於1992年被批准為省級重點學科，2002年二級學科“計算機應用技術技術”又獲批為省級重點學科。計算機科學與技術學科現有“計算機軟體與理論”1個博士學位授權點（2001年）、“計算機軟體與理論”（1983年）和“計算機應用技術”（1998年）2個碩士學位授權點、“軟體工程”和“計算機技術”2個工程碩士授權點（2003年）。目前，“計算機科學與技術”學科具有計算機科學與技術、軟體工程、信息安全、網路工程等四個本科專業。

“計算機科學與技術”學科四個專業目前有在校生近1500人，其中本科生1283人、碩士生128人、博士生29人、工程碩士186人。

經過十多年的建設，“計算機科學與技術”學科取得了較快的發展和卓有成效的成果，學科已經形成了“可計算性理論與計算複雜性”、“人工智慧”、“密碼學與信息安全”、“計算機網路技術”、“資料庫技術”、“多媒體技術”、“軟體分析”、“計算機控制技術”、“嵌入式系統”、“中文信息處理”、“智能信息處理”和“機器學習”等10餘個研究方向，特別在可計算性理論與計算複雜性、數理邏輯、資料庫技術、人工智慧、嵌入式系統等領域有較強的優勢，已形成了自己的一些特色或優勢，其部分理論研究成果已達到國際先進水平，部分應用研究成果已達到國內先進水平。通過十多年的建設與發展，學科已為國家輸送了大量的各類人才，理論研究成果在不斷地提升學科在國內外的知名度，應用成果通過轉化已為貴州省的經濟建設做出了較大的貢獻。

2004年中國大學研究生院計算機專業排名中，貴州大學“計算機軟體與理論”二級學科位列第15名，一級學科在全國大致也能排在前30名左右。目前，“計算機軟體與理論”二級學科已具備了申報國家重點學科的基礎和條件。

學院擁有一支綜合素質好、學術水平高、實踐經驗豐富、具有開拓創新精神的教學科研隊伍。現有教職工180人，其中專職教師161人，具有副高以上職稱教師69人，講師78人，高級實驗師4人，實驗師10人。具有博士學位的教師24人、具有碩士學位的教師53人，享受國務院特殊津貼專家3人，省管專家5人，省級教學名師1人，校級學科學術帶頭人4人，校中青年學術骨幹3人。

1．科學研究及成果

“計算機科學與技術”學科秉承“重視基礎理論研究，注重理論與實踐相結合”的傳統。在艱苦的科研條件下，依靠自身的努力，積極參國內外學術交流，先後取得了一批高水平的科學研究成果。

承擔項目：1992年—2009年期間，學科點承擔的國家級項目、省部級項目和橫向聯合項目已超過100項，科研經費超過5000萬元。其中國家級項目如下：

(1)國家自然科學基金重大項目1項：

張明義：可信約束下軟體錯誤診斷與修正框架[90718009，2008-2010]。

(2)國家自然科學基金項目11項：

李祥：邏輯與計算複雜性[19331050，1994-1997]、BSS機器模型下實函數的計算複雜度與不可解度研究[69673048，1996-1999]；

李堅石：可分合機電元件電接觸熱過程的理論研究[1993-1995]、軟體可靠性與安全性綜合評價方法研究[2005-2009]；

張明義：數理邏輯（非經典）在知識工程中的應用[19861002，1999-2001]、難於計算問題的固定參數複雜性研究及應用[10161005，2002-2004]、基於回答集語義的約束邏輯程序設計[60573009, 2006-2008]；

許道雲：不可滿足公式的結構以及證明方法的研究[60463001，2005-2007]；命題公式有效推理的特殊變元集及演演算法研究（編號：60863005，開始時間：2009.1）;信息傳播演演算法的數學理論和原理》（編號：60911130013，2009.3—2009.12）;函數的Fine-可計算性與計算複雜性（編號：61011130038，2010.3—2010.12）;

(3)國家863計劃項目4項：

李祥：環域上的程序設計系統與BSS機器計算理論[863-306-05-09-1C，1995-1998]；

張明義：非單調邏輯的一些新探索[863-306-05-16C，1992-1994]、常識推理與歸納推理研究[863-306-05-04-7，1994-1996]、類比與歸納的形式系統及應用研究[863-306-05-05-5A，1996-1998]。

獲獎情況：自1992年以來，本學科獲得國家科學技術進步三等獎1項（李堅石）、貴州省科技進步一等獎1項（李祥）、獎航空部科技進步獎二等獎1項（李堅石）、貴州省科技進步二等獎5項（李祥2項，李堅石3項）、航空部科技進步獎三等獎1項（李堅石）、貴州省科技進步三等獎13項（李祥、李堅石等）。

論文發表情況：自1992年以來，本學科點人員積撰寫研究論文，發表了幾百篇學術論文。其中在國際權威期刊或頂級會議《ArtificialIntelligence》、《AI Communications》、《Information and Computation》、《IEEE Trans. Knowl. Data Eng.》、《International Conference on Knowledge Rapresentation & Reasoning》和國內權威期刊《Science in China》、《J. of Comput. Sci. and Technol.》、《計算機學報》、《軟體學報》、《電子學報》、《計算機科學》、《計算機研究與發展》、《計算機工程與應用》等都有學術論文發表，學術論文中被三大檢索（SCI、EI、ISTP）收錄的論文已超過200篇。

成果轉化：學科除了重視基礎理論研究之外，更重視應用系統開發及研究成果轉化，特別是橫向聯合。自1992年以來，學科一直和我省的航空、航天、電子、醫療衛生等部門進行合作，不斷地致力於合作研究和成果轉化，成果轉化項目30項。2005年學科與航空系統一起建立了貴州省智能控制工程研究中心（貴州省發改委批准），該中心先後完成了國家重點工程項目“CS097試驗器計算機測控系統”等科研項目20餘項，為企業創造經濟效益上億元，目前並正在進行的科研項目有貴州省工業攻關項目“數控加工中心網路平台建設”、“大型整機裝備優化設計“等16項。近幾年的橫向聯合科研經費累計超過800萬元人民幣。

2．人才培養

學科所屬的二級學科“計算機軟體與理論”博士點是貴州省獲得的兩個最早博士學位授予權的其中一個，其領銜導師是學科帶頭人李祥教授，該博士點從2002年開始招生，目前總共招生人數為55人，已有30人畢業並獲得博士學位；兩個二級學科碩士點“計算機軟體與理論”和“計算機應用技術”從1998年統計至今，目前累計招生人數已超過400人；專業碩士的招生人數累計也超過30人；自1992年以來，本科生招生人數累計已超過3000人。學科不但培養出了大量的研究生以上的高層次人才，他們目前都正在自己的工作崗位上發揮著骨幹的作用，而且為經濟主戰場培養出了大量的專門人才。

3．學科平台建設

在學科隊伍建設方面：藉助於博士點和碩士點的建設等有利條件，年輕教師基本上都在攻讀博士、碩士學位。選送部分年輕教師到國外和國內著名院校（科研院、所）攻讀學位、進修、進行合作研究，請校外教師參與博士和碩士研究生、青年教師的培養工作，進行學術講座和合作研究等。

博士后流動站：計算機科學與技術

博士點：計算機軟體與理論

一級學科碩士點：計算機科學與技術

二級學科碩士點：計算機軟體與理論，計算機運用技術，信息安全，信號與信息處理

專業碩士授權點：軟體工程，計算機技術

徠高校師資碩士：計算機軟體與理論

本科專業：計算機科學與技術，軟體工程，信息安全，網路工程，數字媒體

省級重點學科：計算機科學與技術（貴州省人民政府批准，1992）

教學支撐單位：計算機科學與技術系，信息網路安全系

學院擁有優良的教學/科研軟、硬體與網路資源，已建立了支撐本科生、研究生實踐教學的“三大開放實驗平台”， 3個公共專業基礎實驗室，4個校、企合作實訓基地，以及院屬科研機構的項目研發實驗室；10個專業實驗室，包括多個方向的碩士培養實驗室；博士點實驗室4個；省級重點實驗室1個。多層次、多角度上滿足了學院教學、科研的要求，也為產學研項目研發提供了良好的技術支撐環境。

經過30多年的建設和發展，學院已經形成了人工智慧、信息與網路安全、計算複雜性、計算機網路技術、資料庫技術、多媒體技術、軟體工程、計算機控制技術、中文信息處理、計算機模擬技術與工程分析、Linux與開源軟體技術、嵌入式系統、網路與信息系統、電子政務等10餘個研究方向。學院在數理邏輯、資料庫技術和人工智慧、最優化理論等領域有較強的優勢。部分研究應用研究成果達到國內先進水平，一些理論研究成果已達到國際先進水平。

該學科承擔的主要科研項目情況

“十五”以來，學院承擔信息技術領域研發重要項目70餘項，科研經費總計近1500萬元。其中：包括國家自然科學基金3項.(含2項國際合作項目)，國家863重大專項課題 1項，科技部攻關項目1項，教育部春暉計劃13項，教育部教改項目2項，貴州省自然科學基金項目6項，貴州省科技攻關項目5 項，日本NTT國際合作項目1項，以及服務地方政府、企事業單位的信息技術研發與應用推廣項目近50項。發表學術論文 208 篇（其中, SCI、EI、ISTP收錄40篇）；科研成果轉化21項；主編教材8本，科研成果（教材）應用於本科教學6項；獲得省部級以上科研獎勵9項。在該省許多行業的應用項目研發、信息化建設與應用推進等方面發揮了積極、重要的作用，產生了良好的社會效益與經濟效益。

國家級項目

計算的模型、理論和應用中的新方向（國際合作項目）關於數值計算、可計算性及計算複雜性的演演算法基礎（重大國際合作項目）計算的模型、理論和應用中的新方向（重大國際合作項目）、不可滿足公式的結構以及證明方法的研究、基於Linux的網路多媒體教學資源建設的關鍵技術與應用研究（國家863重大專題項目）。

部級項目

可視電話系統圖象壓縮編碼的研究、基於微硬碟多媒體攜帶型播放系統、基於CPLD/FPCA技術實現系統的多任務可編程處理、數控加工中心網路平台建設、數據挖掘技術在醫學CT圖像上的應用、基於網格的喀斯特地區數字博物館基礎研究、基於遠程心電監護服務系統、城市電平轎車的設計――電力及控制系統0.20 。

省級項目

遙感圖象混合壓縮方法研究及實現、基於Internet知識工程的複雜性與安全性研究、信息安全流－一種基於類型的方法、圖象信息隱藏技術研究、數據挖掘技術在醫學圖像領域中的研究、數控加工中心的網路平台建設、通用工業測控組態軟體系統、基於Internet網實驗室系統、圖象資料庫應用研究、貴州省教育信息化及遠程教育“十五”發展規劃研究、極小不可滿足公式的同構與同態的研究、貴州省煙草行業信息化發展戰略研究、Internet2技術跟蹤及應用開發研究、中文信息處理及情景對話理解研究、Internet網路通信與網路安全、基於Type-2圖靈計算模型研究、基於軟交換技術構建勞動保障諮詢平台系統、球磨機節能控制系統、社區心血管保健監護系統、語義Web中的本體（Ontology）關鍵技術研究、計算機軟體開放實驗室與課件發布系統、基於Internet遠程監護儀監護服務系統、GUMC-16A開放中心感測控制系統、極小不可滿足公式的同構與同態的研究、心血管保健遠程監護儀監護服務諮詢系統、貴州省CAE模擬分析技術應用公共服務平台建設、基於醫學圖像的心臟三維建模方法研究、非確定有窮自動機狀態極小化演演算法及其複雜性研究、安全協議及其BAN邏輯分析應用研究、城市應急平台建設的關鍵技術與應用研究、非平衡複雜網路的動力學行為研究、增量型核回歸分析理論及演演算法研究、基於同質塊的多階段兩維排樣優化演演算法研究、貴州省旅遊景點虛擬場景建模與漫遊、J2EE與軟體工程實訓平台建設與應用研究、高校固定資產狀態數據分析系統。

市級項目

貴陽市物價信息監測管理系統、貴陽市企業信息化項目信息化管理系統、基於嵌入式Linux系統微硬碟音視頻播放器、貴陽市信訪信息管理系統、IPv4/IPv6混合組網關鍵技術研究與應用、貴陽市城市道路交通資料庫建設及網路模型研究、侗文化世界非物質遺產申報資料庫建設（一期）。

橫向項目

試驗器計算機測控系統、混倉控制系統、煤炭遠程監控及管理系統、銅仁電力局結構化綜合布線、視頻自動傳送控制軟體、六盤水勞動力市場網路系統、Cs097A試驗台計算控制系統、Cs095試驗台計算控制系統、液壓試驗台計算機控制系統、汽車點火鎖質量控制軟體、貴陽市第四人民醫院HIS系統（軟體）、貴陽市賓儀館監控系統、銅仁供電局呼叫系統、畢節供電局呼叫系統、畢節工商局地區工商信息化管理系統、貴陽市檔案信息門戶網站建設項目、貴陽勘測設計研究院工程科研院瀑布溝水電站安全檢測三維模擬系統、貴陽市環境空氣質量預報系統、MCS-1可視心律失常治療儀、自動氣象站觀測設備研發、計算機基礎課程建設。

現任領導