貴州大學計算機科學與信息學科是全國高校中較早成立的學科之一。
基本介紹
- 中文名：貴州大學計算機科學與信息學院
- 所屬地區：貴州
- 主要院系：計算機科學系、通信系、安全系
- 教職工：189人
概述,學科建設,科研概況,實驗室建設,地圖信息,
概述
貴州大學計算機科學與信息學科是全國高校中較早成立的學科之一，1972年創辦計算機軟體本科專業，1983年開始招收計算機軟體專業研究生，1986年成立計算機科學系，1992年計算機科學與技術學科成為省級重點學科，1995年獲計算機軟體與理論碩士授予權，1998年獲計算機套用技術碩士授予權，2000年獲計算機軟體與理論博士授予權，2003年獲軟體工程和計算機技術2個工程碩士授予權，2004年獲計算機軟體與理論高校在職師資碩士授予權，2005年獲計算機科學與技術一級學科碩士授予權。
學院下設3個系（計算機科學系、通信系、安全系），1個計算機基礎教學部。現有1個博士後流動站，1個博士學位授權點，4個碩士學位授權點，2個專業碩士授權點，6個本科專業， 1個省級重點學科，6個科研所，1個計算機培訓中心，2個工程中心。
學院擁有一支綜合素質好、學術水平高、實踐經驗豐富、具有開拓創新精神的教學科研隊伍。現有教職工189人，其中專任教師160人，具有副高以上職稱教師59人，講師74人。具有博士學位的教師16人、具有碩士學位的教師50人，享受國務院特殊津貼專家3人，省管專家4人，校級學科學術帶頭人6人，校中青年學術骨幹1人。目前在校本科生1661人，碩士生325人，博士生22人，工程碩士300餘人，加上成人教育，學院學生規模2000餘人。
學院擁有一流的教學、實驗環境，設有計算機軟體信息實驗室、信息安全實驗室、軟體工程實驗室、大學生創新實驗室、網路安全實驗室（貴州大學與貴州省軍區共建）、計算機套用信息實驗室、計算機基礎實驗室、計算機軟體與理論實驗室。
經過30多年的建設和發展，學院已經形成了“人工智慧”、“信息安全”、“計算複雜性”、“計算機網路信息”、“資料庫信息”、“多媒體信息”、“軟體分析”、“計算機控制信息”、“中文信息處理”、“計算機仿真信息”等10餘個研究方向。學院在數理邏輯、資料庫信息和人工智慧、最最佳化理論計算機控制、下一代網際網路、通信系統與網路、複雜網路化系統，等領域有較強的優勢，部分研究套用研究成果已達到國內先進水平，部分理論研究成果已達到國際先進水平。
我院畢業生專業理論知識紮實，動手實踐能力和創新能力強，受到社會和用人單位的廣泛讚譽，湧現出了不少優秀人才、傑出人才，為國家、為社會做出了突出貢獻。
學院科研成果多次獲國家和省（部）級科技進步獎。學院重視國內外的學術交流活動，與清華大學、北京大學、浙江大學、重慶大學、南京大學、中國科學院等國內外高等院校及科研院所進行了廣泛的學術聯繫，與德國、英國、日本、澳大利亞、美國等國外一些國家和地區的學術交流頻繁。
學科建設
貴州大學“計算機科學與技術”（一級學科）於1992年被批准為省級重點學科，2002年二級學科“計算機套用技術技術”又獲批為省級重點學科。計算機科學與技術學科現有“計算機軟體與理論”1個博士學位授權點（2001年）、“計算機軟體與理論”（1983年）和“計算機套用技術”（1998年）2個碩士學位授權點、“軟體工程”和“計算機技術”2個工程碩士授權點（2003年）。目前，“計算機科學與技術”學科具有計算機科學與技術、軟體工程、信息安全、網路工程等四個本科專業。
“計算機科學與技術”學科擁有120人的學科隊伍，其中教授13人、副教授19人、講師71人、其它16人。目前學科隊伍中有國家級突出貢獻的中青年專家2人、享受國務院特殊津貼專家3人、省管專家4人、校級學術學科帶頭人5人、校中青年學術骨幹2人。學科梯隊結構合理，已形成了知名專家學者領銜，學科學術帶頭人為骨幹，中青年優秀人才為主體的較高水平的教學和科研隊伍。
“計算機科學與技術”學科四個專業目前有在校生近1500人，其中本科生1283人、碩士生128人、博士生29人、工程碩士186人。
經過十多年的建設，“計算機科學與技術”學科取得了較快的發展和卓有成效的成果，學科已經形成了“可計算性理論與計算複雜性”、“人工智慧”、“密碼學與信息安全”、“計算機網路技術”、“資料庫技術”、“多媒體技術”、“軟體分析”、“計算機控制技術”、“嵌入式系統”、“中文信息處理”、“智慧型信息處理”和“機器學習”等10餘個研究方向，特別在可計算性理論與計算複雜性、數理邏輯、資料庫技術、人工智慧、嵌入式系統等領域有較強的優勢，已形成了自己的一些特色或優勢，其部分理論研究成果已達到國際先進水平，部分套用研究成果已達到國內先進水平。通過十多年的建設與發展，學科已為國家輸送了大量的各類人才，理論研究成果在不斷地提升學科在國內外的知名度，套用成果通過轉化已為貴州省的經濟建設做出了較大的貢獻。
2004年中國大學研究生院計算機專業排名中，貴州大學“計算機軟體與理論”二級學科位列第15名，一級學科在全國大致也能排在前30名左右。目前，“計算機軟體與理論”二級學科已具備了申報國家重點學科的基礎和條件。
科研概況
“計算機科學與技術”學科秉承“重視基礎理論研究，注重理論與實踐相結合”的傳統。在艱苦的科研條件下，依靠自身的努力，積極參國內外學術交流，先後取得了一批高水平的科學研究成果。
承擔項目：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年以來，本學科點人員積撰寫研究論文，發表了幾百篇學術論文。其中在國際權威期刊或頂級會議《Artificial Intelligence》、《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.》、《計算機學報》、《軟體學報》、《電子學報》、《計算機科學》、《計算機研究與發展》、《計算機工程與套用》等都有學術論文發表，學術論文中被三大檢索
實驗室建設
智慧型計算研究室主要從事計算軟體與理論的基礎研究，並從事非單調推理方面的套用開發。
負責人：許道雲教授，博士生導師，貴州省省管專家，貴州省高等學校教學名師，現任貴州大學計算機科學與信息學院院長。主持有國家自然科學基金項目二項、貴州省省長基金一項、貴州省自然科學基金一項、貴州省高層次人才科研條件特助基金一項、教育部博士點基金一項、貴州大學自然科學專項科研基金一項；已完成國家自然科學基金項目二項，重大國際合作項目二項，貴州省省長基金項目一項、貴州省高層次人才基金項目一項、貴州省自然科學基金項目三項、貴州省教育廳自然科學基金項目一項。曾經在“Annals of mathematics and Artificial Intelligence”、“中國科學”、“軟體學報”、“Journal of Computer Science and Technology”等刊物上發表過10餘篇文章。省級以上其它刊物發表文章30餘篇。發表教學研究文章5篇。
研究方向包括：
1) SAT問題
2) 非單調推理及其計算複雜性
3) 可計算分析及其計算複雜性
多媒體技術實驗室主要從事計算機圖形學和多媒體技術領域的相關研究與開發，並積極參與國內外多媒體技術領域的各種學術交流，曾和清華大學共同協辦了在貴陽召開的第十二屆全國多媒體技術學術會議。目前承擔多個省部級以上項目，並在核心期刊發表論文數十篇。
負責人：陳孝威 教授，博士生導師，全國多媒體專業委員會委員。畢業於貴州大學物理系和郵電部武漢郵電科學研究院，於貴大計科系任教並擔任系主任職務。曾赴美國路易斯安挪州州立大學和澳大利亞塔什瑪利亞大學訪問，在國內外學術界發表多篇重要論文，取得多項省科研成果及教學成果獎。
實驗室科研成果
多媒體技術實驗室主要從事計算機圖形學和多媒體技術領域的相關研究與開發，並積極參與國內外多媒體技術領域的各種學術交流，曾和清華大學共同協辦了在貴陽召開的第十二屆全國多媒體技術學術會議。目前承擔多個省部級以上項目，並在核心期刊發表論文數十篇。
負責人：陳孝威 教授，博士生導師，全國多媒體專業委員會委員。畢業於貴州大學物理系和郵電部武漢郵電科學研究院，於貴大計科系任教並擔任系主任職務。曾赴美國路易斯安挪州州立大學和澳大利亞塔什瑪利亞大學訪問，在國內外學術界發表多篇重要論文，取得多項省科研成果及教學成果獎。
地圖信息
地址：貴陽市花溪區明珠社區服務中心
打開百度地圖查看詳情
