贵州大学计算机科学与技术学院的学科建设
学科简介
贵州大学“计算机科学与技术”（一级学科）于1992年被批准为省级重点学科，2002年二级学科“计算机应用技术技术”又获批为省级重点学科。计算机科学与技术学科现有“计算机软件与理论”1个博士学位授权点（2001年）、“计算机软件与理论”（1983年）和“计算机应用技术”（1998年）2个硕士学位授权点、“软件工程”和“计算机技术”2个工程硕士授权点（2003年）。目前，“计算机科学与技术”学科具有计算机科学与技术、软件工程、信息安全、网络工程等四个本科专业。
“计算机科学与技术”学科四个专业目前有在校生近1500人，其中本科生1283人、硕士生128人、博士生29人、工程硕士186人。
经过十多年的建设，“计算机科学与技术”学科取得了较快的发展和卓有成效的成果，学科已经形成了“可计算性理论与计算复杂性”、“人工智能”、“密码学与信息安全”、“计算机网络技术”、“数据库技术”、“多媒体技术”、“软件分析”、“计算机控制技术”、“嵌入式系统”、“中文信息处理”、“智能信息处理”和“机器学习”等10余个研究方向，特别在可计算性理论与计算复杂性、数理逻辑、数据库技术、人工智能、嵌入式系统等领域有较强的优势，已形成了自己的一些特色或优势，其部分理论研究成果已达到国际先进水平，部分应用研究成果已达到国内先进水平。通过十多年的建设与发展，学科已为国家输送了大量的各类人才，理论研究成果在不断地提升学科在国内外的知名度，应用成果通过转化已为贵州省的经济建设做出了较大的贡献。
2004年中国大学研究生院计算机专业排名中，贵州大学“计算机软件与理论”二级学科位列第15名，一级学科在全国大致也能排在前30名左右。目前，“计算机软件与理论”二级学科已具备了申报国家重点学科的基础和条件。 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．学科平台建设
在学科队伍建设方面：借助于博士点和硕士点的建设等有利条件，年轻教师基本上都在攻读博士、硕士学位。选送部分年轻教师到国外和国内著名院校（科研院、所）攻读学位、进修、进行合作研究，请校外教师参与博士和硕士研究生、青年教师的培养工作，进行学术讲座和合作研究等。
