郭德贵

姓名：

郭德贵

性别：

男

职称：

副教授

最高学历：

研究生

最高学位：

博士

电话：

13756114899

Email：

guodg@jlu.edu.cn

所在学科专业：

计算机软件与理论

所研究方向：

软件理论与技术

讲授课程：

编译原理（课程链接）
  程序安全检测技术（课程链接）
  形式语义学

教育经历：

1992.9-1996.7   山东大学数学系 本科
  2000.9-2003.7 金沙威尼斯欢乐娱人城 硕士研究生
  2003.9-2007.7 金沙威尼斯欢乐娱人城 博士研究生

工作经历：

1996.7-2004.7   延边大学数学系 教师
  2004.7-至今 金沙威尼斯欢乐娱人城 教师

科研项目：

1 切片技术及应用研究 金沙威尼斯欢乐娱人城基本科研业务费项目 负责人
  2 本体演化中若干问题的研究 国家自然科学基金 第3参加人
  3 计算机专业本科生实践教学体系和创新能力培养研究 吉林省教学改革重点课题 第2参加人
  4 本体定义元模型及其在语义网中的应用研究 吉林省科技厅 第3参加人

学术论文：

1 ATLAS语言实现中的设备分配算法研究 电子学报，2007.11
  2 C/ATLAS单动作测试语句实现的操作语义描述 金沙威尼斯欢乐娱人城学报（理学版），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作者