许道云
个人基本情况介绍
贵州大学计算机科学系研究生毕业后留在该系任教。1995年评为副教授，2002年6月从南京大学取得博士学位后回贵州大学计算机科学系工作。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）。
贵州大学“十佳师德标兵”（2009）。
贵州大学第一、二、三届“我心目中的好老师” （2005，2007，2009）。
贵州大学“计算机科学与技术”学科带头人（2012，2017）。
贵州省优秀博士生导师（2013）。
教学格言
教师要做到：手中无稿，心中有稿。电子邮件
dyxu@gzu.edu.cn