許道雲

貴州大學計算機科學與技術學院院長

許道雲，男，1959年9月生於安順市七眼橋鎮兩所屯，畢業於南京大學，現任貴州大學計算機科學與技術學院院長，教授，博士研究生指導教師。

主要研究方向為計算機軟體與理論（可計算性與計算複雜性、演演算法設計與分析）。

目錄

1個人經歷教育經歷工作經歷

2主要成就科研成就教學成就

個人經歷

教育經歷

時間	院校	專業	學位
1975年3月-1977年7月	安順一中
1978年3月-1982年1月	貴州大學	數學
xx-1988年7月	貴州大學	計算機科學	研究生
1999年9月-2002年6月	南京大學	數學	博士

工作經歷

現任貴州大學計算機科學與技術學院院長，教授，博士研究生指導教師。

貴州省高技術產業發展諮詢專家委員會專家。

主要成就

科研成就

研究領域

計算機軟體與理論（可計算性與計算複雜性、演演算法設計與分析）。

國家自然科學基金項目

（1）帶正則結構的可滿足性問題研究（2017年已結題）

（2）d-正則命題公式合的可滿足性問題研究，起止時間：2018.1---2021.12

學術論著

在2007年以前，曾經在“Annals of Mathematics and Artificial Intelligence”、“中國科學”、“計算機科學與技術(JCST)”、“軟體學報”等重要刊物、及國際會議上以第一作者發表過論文 20餘篇學術論文。2007年以後，在核心期刊以上刊物發表論文60餘篇，其它省級以上刊物發表文章40餘篇，教學改革文章10篇。

代表論文

1、矩形毛坯四塊排樣方式及其演演算法楊玉麗；崔耀東；許道雲微電子學與計算機2009/04.38

2、FC-normal and extended stratified logic program許道雲；丁德成Science in China(Series F:Information Sciences)2002/04.6

教學成就

已經指導有11名博士研究生畢業，60名碩士研究生畢業。

社會活動

貴州省計算機學會（理事長）。

中國計算機學會（CCF）（高級會員）。

中國計算機學會（理論計算機專委會委員）。

貴州省高等學校教學名師（2007）。

貴州省先進教師（2009）。

貴州大學“十佳師德標兵”（2009）。

貴州大學第一、二、三屆“我心目中的好老師” （2005，2007，2009）。

貴州大學“計算機科學與技術”學科帶頭人（2012，2017）。

貴州省優秀博士生導師（2013）。

目錄