搜索
  • 本版
  • 文章
  • 帖子
  • 用户
  • 首页
  • 学院概况
    • 学院简介
    • 学院领导
    • 组织结构
    • 学位委员会
    • 学术委员会
  • 党建工作
  • 师资队伍
    • 师资介绍
    • 博士生导师
    • 硕士生导师
    • 教师风采
  • 学科概况
    • 科研团队
    • 科研成果
    • 学术活动
  • 本科生教育
    • 专业介绍
    • 培养方案
    • 学生组织
    • 学生社团
    • 学生活动
  • 研究生教育
    • 研究生风采
    • 研究生活动
  • 招生就业
    • 研究生
    • 就业信息
  • 资料下载
    • 学院黄页
    • 培养方案
    • 招生简章

版块导航

师资队伍
师资介绍
博士生导师
硕士生导师
教师风采
贵州大学计算机学院 › 师资队伍› 师资介绍

许道云

个人基本情况介绍

贵州大学计算机科学系研究生毕业后留在该系任教。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
学院协同办公系统
校内综合首页系统
校内网络教学平台
教工电子邮箱系统
学生电子邮箱系统

上网信息不涉密,涉密信息不上网

版权所有:贵州大学计算机科学与技术学院 中国·贵州·花溪

2010-2020.All Rights Reserved

黔公网安备52011102002224号