许道云
发布时间： 2021-12-10 | 查看数：4432
个人基本情况介绍：
澳门尼威斯人网站计算机科学系研究生毕业后留在该系任教。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