40004-98986
王以松，男，副教授，硕士研究生导师。主要研究方向：人工智能(知识表示与推理、逻辑程序设计)，语义网络等。Email:ys_wang168@sina.com主讲课程最近授课《人工智能》、《数理逻辑》（硕士研究生）、《非经典逻辑》（硕士研究生）、《高级语言程序设计》、《Linux系统》等科研项目1)ThestudyandimplementationofAnsewrsetprogrammingwithfunctions,NSF60963009,2010.1~2012.12,(YisongWang,MingyiZhang,FangzhenLin,MingshengZhang,YingZhang,BoYang,GangXie,XiaoyingTu,YingZhan,KunpengWei)2)ThestudyofAnswerSetProgramming,TheNaturalScienceFoundationofEcationalCommissionofGuizhouProvince(2008)011,2009.1~2011.12,(YisongWang,BoYang,GangXie,KunpengWei,GonggeGao,YanfangRen)3)ThestudyandapplicationofAnswerSetProgramming,ScienceandTechnologyFoundationofGuizhouProvince[2008]2119,2008.6~2010.7,(YisongWang,MingyiZhang,FangzhenLin,WuChen)4)Thestudyandimplementofanswersetprogrammingwithfunctions,ScientificResearchFundfortalentsrecruitingofGuizhouUniversity(2007)042,2009.1~2011.12,(YisongWang,JingYang,WuChen,MaonianWu,MingshengZhang,BoYang,GonggeGao,YanfangRen)发表论文1)YisongWang,Jia-HuaiYou,Li-YanYuan,Yi-DongShen.NormalDescriptionLogicProgramsasDefaultTheories.NonMon@30.2)YisongWang,Jia-HuaiYou,Li-YanYuan,Yi-DongShen.LoopFormulasforDescriptionLogicPrograms.TheoryandPracticeofLogicProgramming.Volume10,specialissue(4-6):531-545.Thefullversion.3)YisongWang,MingyiZhang,Jia-HuaiYou.LogicPrograms,CompatibilityandForwardChainingConstruction.JOURNALOFCOMPUTERSCIENCEANDTECHNOLOGY24(6):1125-1137Nov.20094)YisongWang,Jia-HuaiYouandMingyiZhang.EmbedingFunctionsintoDisjunctiveLogicProgramms.ASPOCP09,46-605)YisongWang,Jia-HuaiYou,Li-YanYuan,andMingyiZhang.WeightConstraintProgramswithFunctions.LPNMR2009,LNCS5753,329-3416)YisongWangandXinqiangMa.SomeResultsonOrder-ConsistentLogicPrograms.FSKD2008:557-5617)FangzhenLinandYisongWang.AnswerSetProgrammingwithFunctions.KR2008:454-4648)YisongWang,MingyiZhangandYupingShen.ConsistencyPropertyofFiniteFC-NormalLogicPrograms.JOURNALOFCOMPUTERSCIENCEANDTECHNOLOGY22(4):559-566July20079)YinChen,FangzhenLin,YisongWangandMingyiZhang.First-OrderLoopFormulasforNormalLogicPrograms.KR2006:298-307.10)MingyiZhang,YingZhang,YisongWang.OnCompatibilityandForwardChainingNormality,NMR2006,163-171.
-
段迅，男，副教授，硕士研究生导师。毕业于贵州大学计算机软件与理论专业。研究方向计算机网络技术，新型网络结构，路由算法，无线传感器网络等。科研项目主持省科学技术基金，市科
-
吴云，男，江西景德镇人，博士，副教授，硕士生导师。在国际期刊、会议、国内期刊上发表学术论文20多篇，其中EI收录8篇。主讲课程《计算机图形学》、《数字图像处理》、《多媒体技术》等
-
皮建勇，副教授，计算机软件与理论硕士生导师，2008年毕业于电子科技大学计算机学院计算机系统结构专业，获工学博士学位。美国IEEE会员、ACM会员、中国CCF会员。主持省自科基金一项、校引进人才
-
潘平，男，贵州省人，副教授，硕士研究生导师。中国物理学会、中国密码学会、中国教育学会会员。研究方向信息处理、信息安全与信息哲学。教学情况主要承担本科生信息安全相
-
高建瓴，女，副教授，硕士研究生导师。发表论文10篇，参编教材1本，获科技进步二等奖1项。研究方向数据库应用、数字与通信、软件测试。主讲课程数据结构（本科）、Java
-
罗文俊教授，硕士生导师。主讲课程《可信计算与安全多方计算》科研项目主持基于安全多方计算的数字签名方案设计与研究，贵州省自然科技基金，编号：黔科合J字[2008]2
-
陈梅，教授，硕士生导师，毕业于南京大学。分管本科教学、成人教育工作，主要负责计算机应用技术实验室（数据库实验室）的建设。主讲课程《数据库技术》研究方向数据库新技术、
-
张达敏，男，教授，硕士研究生导师，通信系副主任。 教学情况：主要承担本科生和研究生课程《电路及电子技术》、《数字电路》、《信号与系统》、《数字信号处理》、《电磁场与电磁波》等
-
杨静，博士，教授，硕士生导师。毕业于贵州大学计算机软件与理论专业。曾在华中理工大学进修,澳门联合国大学国际软件研究所客座研究员，香港科技大学访问学者,华东师范大学访问学者。在《LectureNo
