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