概述

学科建设

科研概况

实验室建设

概述

贵州大学计算机科学与信息学科是全国高校中较早成立的学科之一，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) 可计算分析及其计算复杂性

多媒体技术实验室主要从事计算机图形学和多媒体技术领域的相关研究与开发，并积极参与国内外多媒体技术领域的各种学术交流，曾和清华大学共同协办了在贵阳召开的第十二届全国多媒体技术学术会议。目前承担多个省部级以上项目，并在核心期刊发表论文数十篇。

负责人：陈孝威 教授，博士生导师，全国多媒体专业委员会委员。毕业于贵州大学物理系和邮电部武汉邮电科学研究院，于贵大计科系任教并担任系主任职务。曾赴美国路易斯安挪州州立大学和澳大利亚塔什玛利亚大学访问，在国内外学术界发表多篇重要论文，取得多项省科研成果及教学成果奖。

实验室科研成果

多媒体技术实验室主要从事计算机图形学和多媒体技术领域的相关研究与开发，并积极参与国内外多媒体技术领域的各种学术交流，曾和清华大学共同协办了在贵阳召开的第十二届全国多媒体技术学术会议。目前承担多个省部级以上项目，并在核心期刊发表论文数十篇。

负责人：陈孝威 教授，博士生导师，全国多媒体专业委员会委员。毕业于贵州大学物理系和邮电部武汉邮电科学研究院，于贵大计科系任教并担任系主任职务。曾赴美国路易斯安挪州州立大学和澳大利亚塔什玛利亚大学访问，在国内外学术界发表多篇重要论文，取得多项省科研成果及教学成果奖。