贵州大学计算机科学与技术学院的学科建设
贵州大学“计算机科学与技术”1992获批省重点学科，两个学科的“计算机应用技术”于2002年获批省重点学科。计算机科学与技术学科有1个博士学位授权点(2001年)，2个硕士学位授权点(1983)，计算机应用技术(1998)。目前“计算机科学与技术”有计算机科学与技术、软件工程、信息安全、网络工程四个本科专业。
目前，计算机科学与技术四个专业在校生近1500人，其中本科生1283人，硕士128人，博士29人，工程硕士186人。
经过十几年的建设，“计算机科学与技术”学科取得了快速发展和丰硕成果。学科形成了可计算性理论与计算复杂性、人工智能、密码学与信息安全、计算机网络技术、数据库技术、多媒体技术、软件分析、计算机控制技术、嵌入式系统、中文信息处理、智能信息处理和机器学习等课题。特别是在可计算性理论与计算复杂性、数理逻辑、数据库技术、人工智能、嵌入式系统等领域，形成了一些自己的特色或优势，一些理论研究成果达到了国际先进水平，一些研究成果达到了国际先进水平。学科通过十余年的建设发展，为国家输送了大批人才，理论研究成果不断提升学科在国内外的知名度，应用成果通过转化为贵州省经济建设做出了巨大贡献。
2004年贵州大学计算机软件与理论两个学科在中国大学研究生院计算机专业排名中排名第15位，一级学科在全国也能排到前30左右。目前，“计算机软件与理论”两个学科已具备申报国家重点学科的基础和条件。1.科学研究和成就
计算机科学与技术学科秉承“重视基础理论研究，理论与实践相结合”的传统。在艰苦的科研条件下，依靠自身努力，积极参与国内外学术交流，先后取得了一批高水平的科研成果。
承担项目:1.992-2009年期间，学科承担国家课题、省部级课题、横向联合课题1.000余项，研究经费超过5000万元。其中，国家项目如下:
(1)国家自然科学基金重大项目1:
张:可信约束下的软件错误诊断与纠正框架[90718009，2008-2010]。
(2)国家自然科学基金项目11:
李翔:逻辑与计算复杂性[19331050，1994-1997]，BSS机模型下实函数的计算复杂性和不可解性研究[69673048，1996-1998]
李建时:可分离机电元件电接触热过程理论研究[1993-1995]，软件可靠性与安全性综合评估方法[2005-2009]；
张:数理逻辑(非经典)在知识工程中的应用[19861002，1999-2001]，疑难计算问题固定参数复杂性的研究与应用[101665438]
徐道云:不可满足公式的结构及证明方法研究[60463001，2005-2007]；命题公式有效推理的特殊论证集及算法研究(编号:60863005，开始时间:2009.438+0)；信息传播算法的数学理论与原理(编号:6091113005438+03，2009.3-2009.6438+02)；函数的精细可计算性和计算复杂度(编号:61011130038，2010.3—2010.12)；
(3)4个国家863计划项目:
李翔:环域上的编程系统与BSS机器计算理论[863-306-05-09-1C，1995-1998]；
张:非单调逻辑的一些新探索[863-306-05-16C，1992-1994]，常识推理与归纳推理研究[863-306-05-04-7，1994-]
获奖情况:自1992以来，该学科获得国家科技进步奖1项、贵州省科技进步奖1项、航空科技进步奖1项、贵州省科技进步奖5项(2李翔)
发表论文:自1992以来，本学科已有多人撰写研究论文，发表学术论文数百篇。其中，在国际权威期刊或顶级会议上，人工智能、AI通信、信息与计算、IEEE Trans。知识。数据工程。，国际知识Ra演示会议&；有学术论文发表在《推理》和国内权威期刊如《SCIence in China》、《J. of Comput》。Sci。《计算机学报》、《软件学报》、《电子学报》、《计算机科学》、《计算机研究与开发》、《计算机工程与应用》等。，学术论文通过三大索引(SCI，EI
研究成果转化:除基础理论研究外，学科更注重应用系统的开发和研究成果的转化，尤其是横向集成。1992以来，学科与我省航空、航天、电子、医疗卫生等部门合作，不断致力于合作研究和成果转化，成果转化项目30项。2005年与航空系统共同成立贵州智能控制工程研究中心(贵州省发改委批准)。该中心先后完成了“CS097试验机计算机测控系统”等20多个科研项目，为企业创造了经济效益。目前有贵州省重点产业项目“数控加工中心网络平台建设”、“大型机床设备优化设计”等16科研项目。近年来，横向联合科研经费累计800多万元。
2.人才培养
学科所属的“计算机软件与理论”两个学科博士点是贵州省最早授予的两个博士学位之一。其主要导师是学科带头人李翔教授。自2002年以来，博士点已招收55名学生，已有30名学生毕业并获得博士学位。两个两个学科硕士点“计算机软件与理论”和“计算机应用技术”自1998统计招生400余人。专业硕士招生人数也已超过30人；从1992开始，本科招生总数超过3000人。该学科不仅培养了一大批研究生以上的高层次人才，他们目前在自己的工作岗位上发挥着关键作用，也为经济主战场培养了一大批专门人才。
3.学科平台建设
学科队伍建设方面:借助博士点、硕士点建设，青年教师基本都在攻读博士、硕士。选派部分青年教师到国外和国内著名大学(科研院所、研究所)进行学位学习、深造和合作研究，邀请校外教师参加博士生、硕士生和青年教师培训，开展学术讲座和合作研究。