郭德貴

姓名：

郭德貴

性别：

男

職稱：

副教授

最高學曆：

研究生

最高學位：

博士

電話：

13756114899

Email：

guodg@jlu.edu.cn

所在學科專業：

計算機軟件與理論

所研究方向：

軟件理論與技術

講授課程：

編譯原理（課程鍊接）
  程序安全檢測技術（課程鍊接）
  形式語義學

教育經曆：

1992.9-1996.7   山東大學數學系 本科
  2000.9-2003.7 伟德国际BETVlCTOR 碩士研究生
  2003.9-2007.7 伟德国际BETVlCTOR 博士研究生

工作經曆：

1996.7-2004.7   延邊大學數學系 教師
  2004.7-至今 伟德国际BETVlCTOR 教師

科研項目：

1 切片技術及應用研究 伟德国际BETVlCTOR基本科研業務費項目 負責人
  2 本體演化中若幹問題的研究 國家自然科學基金 第3參加人
  3 計算機專業本科生實踐教學體系和創新能力培養研究 吉林省教學改革重點課題 第2參加人
  4 本體定義元模型及其在語義網中的應用研究 吉林省科技廳 第3參加人

學術論文：

1 ATLAS語言實現中的設備分配算法研究 電子學報，2007.11
  2 C/ATLAS單動作測試語句實現的操作語義描述 伟德国际BETVlCTOR學報（理學版），2008.01
  3 ACCENT生成的語法分析器中多個語法錯誤檢查的實現 計算機應用與軟件，2007.08
  4 Operational Semantics of the Seal Calculus The 4th International Conference   on Intelligence Information Processing. 20-23，September, 2006. Adelaide Australia. ISTP:BFG59
   5 The Denotational Semantics of the Signal Statement in ATLAS 4th ACIS   International Conference on Software Engineering Research, Management &   Applications (SERA2006) EI:073110723770;
  ISTP:BFB84
   6 Precedence Grammar and Its Transformation 4th ACIS International Conference   on Software Engineering Research, Management & Applications (SERA2006)   EI:073110723769;
  ISTP:BFB84

着作教材：

《編譯原理及實現技術》 機械工業出版社 2010年 第2作者