个人基本情况介绍

学历教育：1982年1月，毕业于贵州大学数学系，毕业后留校工作；1988年7月，贵州大学理论计算机专业研究生毕业(获硕士学位)；2002年6 月，南京大学数学系基础数学博士研究生毕业(获博士学位)。2001年9月至2002年4月到德国Paderborn大学计算机科学系进行合作研究，并完成博士学位论文。2005年12月至2006年3月、2009年10月至2009年12月两次到德国Hagen大学计算机科学系进行合作研究。

工作经历：1982年1月在贵州大学数学系数学毕业后留在本系任教，1988年7月贵州大学计算机科学系研究生毕业后留在该系任教。1995年评为副教授，2002年6月从南京大学取得博士学位后回贵州大学计算机科学系工作。2002年12月取得教授职称。2005年11月取得博士研究生指导教师资格。

研究领域与方向

计算机软件与理论（可计算性与计算复杂性、算法设计与分析）
科研课题（2010年以来主要承担的科研项目）

国家自然科学基金项目：带正则结果构的可满足性问题研究。基金号：**.
起止时间：2013.1---2016.12
学术论著(2009年以来发表的论文、专著)

在2007年以前，曾经在 “Annals of Mathematics and Artificial Intelligence”、“中国科学”、“计算机科学与技术(JCST)”、“软件学报”等重要刊物、及国际会议上以第一作者发表过论文 10余篇学术论文。2007年以后，在核心期刊以上刊物发表论文40篇，其它省级以上刊物发表文章15篇，教学改革文章9篇。
发明专利及获奖情况（2009年以来）

贵州省高等学校教学名师（2007）。

贵州省先进教师（2009）。

贵州省优秀博士生导师（2013）。

学术兼职及荣誉称号

贵州省计算机学会（理事长）；

贵州省逻辑学会（常务副会长）；

中国计算机学会（CCF）（高级会员）；

中国计算机学会（理论计算机专委会委员）；

全国人工智能学会（智能空天专委会委员）

贵州省第四批省管专家（2007）。

贵州省高等学校教学名师（2007）。

贵州省先进教师（2009）。

贵州大学“十佳师德标兵”（2009）。

贵州大学第一、二、三届“我心目中的好老师” （2005，2007，2009）。

贵州大学“计算机科学与技术”学科带头人（2012）。

贵州省优秀博士生导师（2013）。

主讲课程

数理逻辑（硕士研究生）

形式语言与自动机（硕士研究生）

可计算性理论导引（硕士研究生）

计算复杂性（博士、硕士研究生）

算法设计与分析（硕士研究生）

近似算法设计与分析（硕士研究生）

概率论与数理统计（本科生）

离散数学（本科生）

教学格言

教师要做到“手中无稿，而心中有稿”


电子邮件: dyxu@gzu.edu.cn