个人基本情况介绍：

威尼斯886699计算机科学系研究生毕业后留在该系任教。1995年评为副教授，2002年6月从南京大学取得博士学位后回威尼斯886699计算机科学系工作。2002年12月取得教授职称。2005年11月取得博士研究生指导教师资格。已经指导有11名博士研究生毕业，60名硕士研究生毕业。

2004年起任“计算机科学与计算机学院”院长，2017年起任“贵州省智能医学影像与精准诊断重点实验室”主任。

 研究方向：可计算性与计算复杂性，算法设计与分析，可满足性（SAT）问题。

曾经主持过4项国家自然科学基金项目，3项国家自然科学基金国际合作子项目，5项目省部级以上其它项目。

研究领域与方向：

计算机软件与理论（可计算性与计算复杂性、算法设计与分析）

科研课题（2010年以来主要承担的科研项目）：

国家自然科学基金项目

（1）带正则结构的可满足性问题研究（2017年已结题）

（2）d-正则命题公式合的可满足性问题研究。

起止时间：2018.1---2021.12

学术论著(2009年以来发表的论文、专著)：

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

发明专利及获奖情况（2009年以来）：

贵州省高等学校教学名师（离散数学）（2007），贵州省先进教师（2009），贵州省优秀博士生导师（2013）。

学术兼职及荣誉称号：

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

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

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

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

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

贵州省先进教师（2009）。

威尼斯886699“十佳师德标兵”（2009）。

威尼斯886699第一、二、三届“我心目中的好老师” （2005，2007，2009）。

威尼斯886699“计算机科学与技术”学科带头人（2012，2017）。

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

教学格言：

教师要做到：手中无稿，心中有稿。

电子邮件：

     dyxu@gzu.edu.cn