许道云

许道云教授，博士生导师，贵州省省管专家，贵州省高等学校教学名师，现任贵州大学计算机科学与信息学院院长。主要进行SAT问题、非单调推理及其计算复杂性、可计算分析及其计算复杂性方向的研究。

科研成果：

主持有国家自然科学基金项目二项、贵州省省长基金一项、贵州省自然科学基金一项、贵州省高层次人才科研条件特助基金一项、教育部博士点基金一项、贵州大学自然科学专项科研基金一项；已完成国家自然科学基金项目二项，重大国际合作项目二项，贵州省省长基金项目一项、贵州省高层次人才基金项目一项、贵州省自然科学基金项目三项、贵州省教育厅自然科学基金项目一项。

出版著作：

曾经在“Annals of mathematics and Artificial Intelligence”、“中国科学”、“软件学报”、“Journal of Computer Science and Technology”等刊物上发表过10余篇文章。省级以上其它刊物发表文章30余篇。发表教学研究文章5篇。